changeset 29956:efab4a4da7b0

Remove pointless warning about Make being called from the wrong place.
author diego
date Sun, 13 Dec 2009 21:24:04 +0000
parents 20b529292a74
children caaabaff1fe4
files DOCS/xml/Makefile.inc
diffstat 1 files changed, 0 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile.inc	Sun Dec 13 19:21:38 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Dec 13 21:24:04 2009 +0000
@@ -40,21 +40,10 @@
 	../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) $<