X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=89787b517950ba1c36496d81fc9ce5dac4ed070a;hb=056c38abacd4493f268c89047220970c412e11d7;hp=36cf736aae871192c4b11fcb383ea5ed4adaedd2;hpb=7c91520fa672d1449b6c6a91dd517edb7ca00f6c;p=mkws-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
index 36cf736..89787b5 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,9 +1,6 @@
 DOCS = README.html README.odt README.pdf \
        whitepaper.html whitepaper.odt whitepaper.pdf
 
-# Default rule when "make" is invoked without a target
-**default**: README.html whitepaper.html
-
 INSTALLABLE = README.html whitepaper.html
 INSTALLED = $(INSTALLABLE:%=../tools/htdocs/%)
 
@@ -12,6 +9,11 @@ install: $(INSTALLED)
 uninstall:
 	rm -f $(INSTALLED)
 
+../tools/htdocs/%: %
+	rm -f $@
+	cp -p $? $@
+	chmod -w $@
+
 all: $(DOCS)
 
 # For a description of pandoc's markdown format, see: