touch pi.html so that nothing gets unnecessarily remade

diff --git a/xsl/doc/pi/Makefile b/xsl/doc/pi/Makefile
index 7726fcb0d33dee3e08a9cd796aa6001d9d892f97..a2edeb0b05a417bc0c0f2e5e41c364a9551ebd92 100644 (file)
--- a/xsl/doc/pi/Makefile
+++ b/xsl/doc/pi/Makefile
@@ -12,6 +12,7 @@ all: $(HTMLFILES)
 
 pi.html: pi.xml
        $(XSLT) $< ../../docsrc/pirefentry.xsl
+       touch pi.html
 
 clean:
        rm -f *.html