diff options
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 02adf76563..498a612331 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -22,7 +22,7 @@ help: @echo "html-chunked : Build HTML documentation (multiple files)." @echo "html-chunked-LANG : As above, but only one language." @echo "xmllint : Check syntax of all xml files." - @echo "xmlling-LANG : Check syntax of LANG xml files." + @echo "xmllint-LANG : Check syntax of LANG xml files." @echo "clean-html-single : Purge the 'HTML-single' directory." @echo "clean-html-chunked: Purge the 'HTML' directory." @echo "clean : Purge the 'HTML' and 'HTML-single' directories." |