summaryrefslogtreecommitdiffstats
path: root/DOCS
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS')
-rw-r--r--DOCS/xml/Makefile.inc11
1 files changed, 0 insertions, 11 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc
index 86a0e4a068..f69614871f 100644
--- a/DOCS/xml/Makefile.inc
+++ b/DOCS/xml/Makefile.inc
@@ -40,21 +40,10 @@ xmllint: main.xml $(SYMLINKS_DEPS)
../xmllint.sh $<
$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-ifndef HTMLDIR
- $(warning $(HTMLDIR))
- $(warning Error: HTMLDIR not set!!!)
- $(warning Typically this means, that you've run make from a subdir of DOCS/xml.)
- $(error Don't do this!)
-endif
cp -f $(HTML_STYLESHEET) $(HTMLDIR)/
../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
$(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-ifndef HTMLFILE
- $(warning Error: HTMLFILE not set!!!)
- $(warning Typically this means, that you've run make from a subdir of DOCS/xml.)
- $(error Don't do this!)
-endif
cp -f $(HTML_STYLESHEET) $(@D)
../xsltproc.sh $@ $(HTML_SINGLE_XSL) $<