Mercurial > cpdt > repo

diff Makefile @ 21:00366a62bd00

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper title and copyright pages
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 16:37:51 -0400
parents ea400f692b07
children 91e247c68ee8
line wrap: on
line diff
--- a/Makefile	Wed Sep 03 16:14:47 2008 -0400
+++ b/Makefile	Wed Sep 03 16:37:51 2008 -0400
@@ -23,9 +23,12 @@
 
 doc: latex/cpdt.dvi latex/cpdt.pdf html
 
-latex/cpdt.tex: $(VS)
+latex/cpdt.tex: Makefile $(VS)
 	cd src ; coqdoc --latex $(VS_DOC) \
-		-p "\usepackage{url}" -toc \
+		-p "\usepackage{url}" \
+		-p "\title{Certified Programming with Dependent Types}" \
+		-p "\author{Adam Chlipala}" \
+		-p "\iffalse" \
 		-o ../latex/cpdt.tex
 
 latex/cpdt.dvi: latex/cpdt.tex
@@ -34,7 +37,7 @@
 latex/cpdt.pdf: latex/cpdt.dvi
 	cd latex ; pdflatex cpdt
 
-html: $(VS)
+html: Makefile $(VS)
 	cd src ; coqdoc $(VS_DOC) -toc \
 		--glob-from ../$(GLOBALS) \
 		-d ../html