diff options
Diffstat (limited to 'DOCS/xml')
| -rw-r--r-- | DOCS/xml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index d3fed701cc..04485c5bac 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -18,8 +18,8 @@ help: @echo "html-single-LANG : As above, but only one language." @echo "html-chunked : HTML documentation for configured languages (multiple files)" @echo "html-chunked-LANG : As above, but only one language." - @echo "xmllint : Check syntax of all xml files." - @echo "xmllint-LANG : Check syntax of LANG xml files." + @echo "xmllint : Check syntax of all XML files." + @echo "xmllint-LANG : Check syntax of LANG XML files." @echo "clean : Purge the 'HTML' directory." @echo "releaseclean : Remove generated files but keep the HTML." @echo "distclean : Remove ALL generated files." |