diff options
| author |  diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-01-04 23:45:14 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-01-04 23:45:14 +0000 |
| commit | 099bfa593a7e0c4954dc444331b217cf46449839 (patch) | |
| tree | ade090717d6658f1a51f0aafee3938ad6aaf8fe7 /DOCS | |
| parent | bfe2fa547fb73fec79b16d1a164388bf1282653e (diff) | |
Subsume clean-html-chunked and clean-html-single targets into clean target.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@28253 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
| -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)) |