diff options
Diffstat (limited to 'DOCS/xml/Makefile')
| -rw-r--r-- | DOCS/xml/Makefile | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 3fa73a46c0..0a906d31e5 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -20,8 +20,6 @@ help: @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 "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." @echo "releaseclean : Remove generated files but keep the HTML." @echo "distclean : Remove ALL generated files." @@ -39,11 +37,8 @@ xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL)) $(HTML_CHUNKED) $(HTML_SINGLE): -mkdir -p $@ -clean-html-chunked: - -rm -rf $(HTML_CHUNKED) - -clean-html-single: - -rm -rf $(HTML_SINGLE) +clean: + rm -rf $(HTML_CHUNKED) $(HTML_SINGLE) releaseclean: $(addprefix releaseclean-,$(DOC_LANG_ALL)) -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh @@ -53,8 +48,6 @@ distclean: clean releaseclean xsltproc.sh xmllint.sh: sh configure -clean: clean-html-chunked clean-html-single - define lang-def html-chunked-$(1): xsltproc.sh xmllint.sh $(HTML_CHUNKED) -(mkdir -p $(HTML_CHUNKED)/$(1)) |