changeset 10914:f6268d5a10f4

I don't think, that anybody likes seeng rm -f /* command :)
author lumag
date Sun, 21 Sep 2003 13:10:58 +0000
parents 49b1a67e7381
children 230d73616bbc
files DOCS/xml/Makefile.inc
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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)/