diff options
Diffstat (limited to 'DOCS/xml/Makefile.inc')
-rw-r--r-- | DOCS/xml/Makefile.inc | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 96a38ab463..6c838ff75a 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -36,7 +36,7 @@ all: html-chunked html-single html-chunked: $(HTMLDIR)/index.html html-single: $(HTMLFILE) -$(HTMLDIR)/index.html: documentation.xml $(CHUNK_XSL_DEPS) +$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) @if test "$(HTMLDIR)" = "" ; then \ echo "Error: HTMLDIR not set!!!"; \ echo "Typically this means, that you've run make from a subdir of DOCS/xml."; \ @@ -50,12 +50,12 @@ $(HTMLDIR)/index.html: documentation.xml $(CHUNK_XSL_DEPS) fi ; \ done ; \ fi - -rm -f $(HTMLDIR)/* - ../xmllint.sh $< - cp -f $(HTML_STYLESHEET) $(HTMLDIR)/ - ../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< + @-rm -f $(HTMLDIR)/* + @../xmllint.sh $< + @cp -f $(HTML_STYLESHEET) $(HTMLDIR)/ + @../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< -$(HTMLFILE): documentation.xml $(XSL_DEPS) +$(HTMLFILE): main.xml $(XSL_DEPS) @if test "$(HTMLFILE)" = "" ; then \ echo "Error: HTMLFILE not set!!!"; \ echo "Typically this means, that you've run make from a subdir of DOCS/xml."; \ @@ -69,15 +69,16 @@ $(HTMLFILE): documentation.xml $(XSL_DEPS) fi ; \ done ; \ fi - -rm -f $(HTMLFILE) - ../xmllint.sh $< - cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)` - ../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $< + @-rm -f $(HTMLFILE) + @../xmllint.sh $< + @cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)` + @../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $< -../html-chunk.xsl ../html-single.xsl: +../html-chunk.xsl ../html-single.xsl main.xml: cd .. && sh configure distclean: + @rm -f main.xml @if test "$(USE_SYMLINKS)" = "yes" ; then \ rm -f `find *.xml -type l`; \ fi |