diff options
| -rw-r--r-- | DOCS/xml/Makefile.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 8ac98b86fc..132ac3b3a1 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -30,7 +30,6 @@ endif HTML_STYLESHEET ?= ../default.css # This is the main target... -.PHONY: all html-chunked html-single xmllint all: html-chunked html-single html-chunked: $(HTMLDIR)/index.html html-single: $(HTMLFILE) @@ -77,3 +76,5 @@ $(filter-out main.xml, $(patsubst ../en/%,%, $(wildcard ../en/*.xml))): distclean: rm -f main.xml rm -f `find *.xml -type l`; + +.PHONY: all html-chunked html-single xmllint distclean |