diff -r b529528b8f0a -r cc83ce484bf7 make/uwproj.xsd
--- a/make/uwproj.xsd Thu Nov 13 17:47:00 2025 +0100
+++ b/make/uwproj.xsd Sat Nov 15 08:30:00 2025 +0100
@@ -228,7 +228,9 @@
Declares a configuration option.
The option argument name is specified with the arg attribute.
- Then, the children of this element specify possible values by defining the conditions
+ Optionally, a description for the help text of the resulting configure script can be specified by
+ a desc element.
+ Then, the next children of this element specify possible values by defining the conditions
(in terms of dependencies) and effects (in terms of defines and make variables) of each value.
Finally, a set of defaults is specified which supposed to automagically select the most
appropriate value for a specific platform under the available dependencies (in case the option is not
@@ -236,6 +238,7 @@
+