diff Makefile @ 39:fd18331e5c0b

Publishing to the web
author Adam Chlipala <adamc@hcoop.net>
date Fri, 12 Sep 2008 17:18:11 -0400
parents 65314ca099ed
children d45ba7e9b266
line wrap: on
line diff
--- a/Makefile	Fri Sep 12 16:55:37 2008 -0400
+++ b/Makefile	Fri Sep 12 17:18:11 2008 -0400
@@ -8,7 +8,7 @@
 GLOBALS       := .coq_globals
 TEMPLATES     := $(MODULES_CODE:%=templates/%.v)
 
-.PHONY: coq clean doc dvi html templates
+.PHONY: coq clean doc dvi html templates install
 
 coq: Makefile.coq
 	make -f Makefile.coq
@@ -40,10 +40,11 @@
 latex/cpdt.pdf: latex/cpdt.dvi
 	cd latex ; pdflatex cpdt
 
-html: Makefile $(VS)
-	cd src ; coqdoc $(VS_DOC) -toc \
+html: Makefile $(VS) src/toc.html
+	cd src ; coqdoc $(VS_DOC) \
 		--glob-from ../$(GLOBALS) \
 		-d ../html
+	cp src/toc.html html/
 
 dvi:
 	xdvi latex/cpdt
@@ -52,3 +53,12 @@
 
 templates/%.v: src/%.v
 	ocaml tools/make_template.ml <$< >$@
+
+cpdt.tgz:
+	hg archive -t tgz $@
+
+install: cpdt.tgz latex/cpdt.pdf html
+	cp cpdt.tgz staging/
+	cp latex/cpdt.pdf staging/
+	cp -R html staging/
+	rsync -az --exclude '*~' staging/* ssh.hcoop.net:sites/chlipala/adam/cpdt/