X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=461a904954aaa797c882cadf7627809bd24c0593;hb=2d35451021f2e5a936c1c58bb622b6c542960c6c;hp=c224fa04c0045ed9932d8565b69e96b2e5b22175;hpb=5973be5f3f1b36ca2bd116a3f5a192809d6bf8c2;p=mkws-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
index c224fa0..461a904 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,12 +5,18 @@
 
 DOCS = index.html index.pdf \
        mkws-manual.html mkws-manual.pdf \
-       mkws-developer.html mkws-developer.pdf
+       mkws-developer.html mkws-developer.pdf \
+       mkws-doc.css
 
 INSTALLED = $(DOCS:%=../tools/htdocs/%)
 
 all: $(INSTALLED)
 
+../tools/htdocs/%: %
+	rm -f $@
+	cp $< $@
+	chmod ugo-w $@
+
 # For a description of pandoc's markdown format, see:
 # http://johnmacfarlane.net/pandoc/demo/example9/pandocs-markdown.html
 
@@ -34,6 +40,9 @@ clean:
 	rm -f $(INSTALLED)
 	rm -f *.drupal.html
 
+distclean: clean
+	# Nothing more to remove in the doc directory
+
 push:
 	pandoc --toc index.markdown > index.drupal.html
 	pandoc --toc mkws-manual.markdown > mkws-manual.drupal.html