diff -r 5706694c17c4 -r d89b75fdf0aa src/main/resources/make/uwproj.xsd --- a/src/main/resources/make/uwproj.xsd Tue Nov 12 16:53:27 2024 +0100 +++ b/src/main/resources/make/uwproj.xsd Tue Nov 12 17:00:51 2024 +0100 @@ -196,6 +196,9 @@ dependencies are satisfied. If a feature is enabled, all define and make definitions are supposed to be applied to the config file. + If a feature is disabled, an optional disabled element may specify which + define and make definitions are supposed to be applied. + There might also be dependencies when the feature is disabled (e.g. specifying a fallback). In case the optional default attribute is set to true, the feature is enabled by default and is supposed to be automatically disabled (without error) when the dependencies are not satisfied. The name that is supposed to be used for the --enable and --disable arguments can be optionally @@ -207,6 +210,13 @@ + + + + + + +