diff -r 38fa7e41194c -r 53e22f112b11 make/uwproj.xsd --- a/make/uwproj.xsd Mon Nov 11 21:42:14 2024 +0100 +++ b/make/uwproj.xsd Tue Nov 12 17:34:04 2024 +0100 @@ -3,7 +3,7 @@ xmlns="http://unixwork.de/uwproj" targetNamespace="http://unixwork.de/uwproj" elementFormDefault="qualified" - version="0.2" + version="0.3" > @@ -21,6 +21,7 @@ + @@ -195,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 @@ -206,6 +210,13 @@ + + + + + + +