diff options
Diffstat (limited to 'DOCS/xml/Makefile.inc')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 132ac3b3a1..c7c3252240 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -73,8 +73,4 @@ $(filter-out main.xml, $(patsubst ../en/%,%, $(wildcard ../en/*.xml))): fi; \ done -distclean: - rm -f main.xml - rm -f `find *.xml -type l`; - -.PHONY: all html-chunked html-single xmllint distclean +.PHONY: all html-chunked html-single xmllint |