Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/book/Makefile Fri Aug 29 16:41:49 2008 -0400 +++ b/book/Makefile Fri Aug 29 17:20:57 2008 -0400 @@ -25,14 +25,14 @@ latex/cpdt.tex: $(VS) cd src ; coqdoc --latex $(VS_DOC) \ - -p "\usepackage{url}" \ + -p "\usepackage{url}" -toc \ -o ../latex/cpdt.tex latex/cpdt.dvi: latex/cpdt.tex - cd latex ; latex cpdt + cd latex ; latex cpdt ; latex cpdt html: $(VS) - cd src ; coqdoc $(VS_DOC) \ + cd src ; coqdoc $(VS_DOC) -toc \ --glob-from ../$(GLOBALS) \ -d ../html