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 @@ +