Merge branch 'jh/notes-merge'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index a4c4063e50d3eb3bd36d94b399f790e56fe4b050..e117bc4315f6e288e89cf83fb80e876bee7a7dc2 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -279,7 +279,7 @@ $(patsubst %,%.html,$(API_DOCS) technical/api-index): %.html : %.txt
 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 $@+ $@