Mercurial > cpdt > repo
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/