# HG changeset patch
# User lumag
# Date 1064149858 0
# Node ID f6268d5a10f4597d7e206e4fa1e7298c6c9a457e
# Parent  49b1a67e738154fd8538182e00f412de786516f0
I don't think, that anybody likes seeng rm -f /* command :)

diff -r 49b1a67e7381 -r f6268d5a10f4 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Sun Sep 21 13:05:42 2003 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Sep 21 13:10:58 2003 +0000
@@ -16,6 +16,7 @@
 
 # This is the main target...
 $(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
+	@if test "$(HTMLDIR)" = "" ; then echo "Error: HTMLDIR not set!!!"; echo "Typically this means, that you've run make from subdir of DOCS/xml. Don't do this!" ; false; fi
 	-rm -f $(HTMLDIR)/*
 	../xmllint.sh $<
 	cp $(HTML_STYLESHEET) $(HTMLDIR)/