create param.html stamp so that it doesn't get remade if nothing changes

diff --git a/xsl/doc/html/Makefile b/xsl/doc/html/Makefile
index df155bb3e5b6ca8352bd4cfeb8bc486230919e23..39862a76216a1cc76ad94efe2a0f6d7d680b2c13 100644 (file)
--- a/xsl/doc/html/Makefile
+++ b/xsl/doc/html/Makefile
@@ -12,6 +12,7 @@ all: $(HTMLFILES)
 
 param.html: param.xml
        $(XSLT) $< ../../docsrc/clrefentry.xsl
+       touch param.html
 
 clean:
        rm -f *.html