Add actual file-copying rule.

Remove old **make-default** target, now that "install" is default.

diff --git a/doc/Makefile b/doc/Makefile
index 36cf736..89787b5 100644 (file)
--- 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: