Fix initial homepage generation in Makefile
authorDavid Lichteblau <david@lichteblau.com>
Fri, 6 May 2011 17:55:43 +0000 (6 19:55 +0200)
committerDavid Lichteblau <david@radon.(none)>
Fri, 6 May 2011 17:55:43 +0000 (6 19:55 +0200)
doc/GNUmakefile

index 21f6b78..3c7e3f5 100644 (file)
@@ -4,7 +4,7 @@ all: index.html installation.html example.html
 
 %.html: %.xml index.xsl
        xsltproc index.xsl $< >$@.tmp
-       rm $@
+       rm -f $@
        mv $@.tmp $@
        chmod -w $@