comparison DOCS/xml/Makefile.inc @ 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 3c0e1b182fbc
children 4dc3149f5b74
comparison
equal deleted inserted replaced
10913:49b1a67e7381 10914:f6268d5a10f4
14 # Fall back to the default HTML stylesheet if none is specified. 14 # Fall back to the default HTML stylesheet if none is specified.
15 HTML_STYLESHEET ?= ../default.css 15 HTML_STYLESHEET ?= ../default.css
16 16
17 # This is the main target... 17 # This is the main target...
18 $(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS) 18 $(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
19 @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
19 -rm -f $(HTMLDIR)/* 20 -rm -f $(HTMLDIR)/*
20 ../xmllint.sh $< 21 ../xmllint.sh $<
21 cp $(HTML_STYLESHEET) $(HTMLDIR)/ 22 cp $(HTML_STYLESHEET) $(HTMLDIR)/
22 ../xsltproc.sh $(HTMLDIR)/ $(HTML_XSL) $< 23 ../xsltproc.sh $(HTMLDIR)/ $(HTML_XSL) $<
23 24