diff --git a/Documentation/Makefile b/Documentation/Makefile
index a4c4063e50d3eb3bd36d94b399f790e56fe4b050..e117bc4315f6e288e89cf83fb80e876bee7a7dc2 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
XSLT = docbook.xsl
XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css
XSLT = docbook.xsl
XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css
-user-manual.html: user-manual.xml
+user-manual.html: user-manual.xml $(XSLT)
$(QUIET_XSLTPROC)$(RM) $@+ $@ && \
xsltproc $(XSLTOPTS) -o $@+ $(XSLT) $< && \
mv $@+ $@
$(QUIET_XSLTPROC)$(RM) $@+ $@ && \
xsltproc $(XSLTOPTS) -o $@+ $(XSLT) $< && \
mv $@+ $@