# HG changeset patch
# User diego
# Date 1260739444 0
# Node ID efab4a4da7b047ce5d6607dca78e6d7892488f29
# Parent  20b529292a74960fd98cb486d6f6c02317d25cb5
Remove pointless warning about Make being called from the wrong place.

diff -r 20b529292a74 -r efab4a4da7b0 DOCS/xml/Makefile.inc
--- 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) $<