Mercurial > cpdt > repo
comparison book/Makefile @ 5:aa32e9f63da0
More of Intro
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 29 Aug 2008 17:20:57 -0400 |
parents | f913d32a49e4 |
children | 7ac7f922e78e |
comparison
equal
deleted
inserted
replaced
4:f913d32a49e4 | 5:aa32e9f63da0 |
---|---|
23 | 23 |
24 doc: latex/cpdt.dvi html | 24 doc: latex/cpdt.dvi html |
25 | 25 |
26 latex/cpdt.tex: $(VS) | 26 latex/cpdt.tex: $(VS) |
27 cd src ; coqdoc --latex $(VS_DOC) \ | 27 cd src ; coqdoc --latex $(VS_DOC) \ |
28 -p "\usepackage{url}" \ | 28 -p "\usepackage{url}" -toc \ |
29 -o ../latex/cpdt.tex | 29 -o ../latex/cpdt.tex |
30 | 30 |
31 latex/cpdt.dvi: latex/cpdt.tex | 31 latex/cpdt.dvi: latex/cpdt.tex |
32 cd latex ; latex cpdt | 32 cd latex ; latex cpdt ; latex cpdt |
33 | 33 |
34 html: $(VS) | 34 html: $(VS) |
35 cd src ; coqdoc $(VS_DOC) \ | 35 cd src ; coqdoc $(VS_DOC) -toc \ |
36 --glob-from ../$(GLOBALS) \ | 36 --glob-from ../$(GLOBALS) \ |
37 -d ../html | 37 -d ../html |
38 | 38 |
39 dvi: | 39 dvi: |
40 xdvi latex/cpdt | 40 xdvi latex/cpdt |