Mercurial > cpdt > repo

diff book/Makefile @ 4:f913d32a49e4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 16:41:49 -0400
parents 9fea5674367c
children aa32e9f63da0
line wrap: on
line diff
--- a/book/Makefile	Fri Aug 29 14:24:38 2008 -0400
+++ b/book/Makefile	Fri Aug 29 16:41:49 2008 -0400
@@ -1,11 +1,11 @@
 MODULES_NODOC := Tactics
-MODULES_DOC   := StackMachine
+MODULES_DOC   := Intro StackMachine
 MODULES       := $(MODULES_NODOC) $(MODULES_DOC)
 VS            := $(MODULES:%=src/%.v)
 VS_DOC        := $(MODULES_DOC:%=%.v)
 GLOBALS       := .coq_globals
 
-.PHONY: coq clean doc
+.PHONY: coq clean doc dvi html
 
 coq: Makefile.coq
 	make -f Makefile.coq
@@ -21,11 +21,20 @@
 	rm -f Makefile.coq .depend $(GLOBALS) \
 		latex/*.sty latex/cpdt.*
 
-doc: latex/cpdt.dvi
+doc: latex/cpdt.dvi html
 
 latex/cpdt.tex: $(VS)
 	cd src ; coqdoc --latex $(VS_DOC) \
+		-p "\usepackage{url}" \
 		-o ../latex/cpdt.tex
 
 latex/cpdt.dvi: latex/cpdt.tex
 	cd latex ; latex cpdt
+
+html: $(VS)
+	cd src ; coqdoc $(VS_DOC) \
+		--glob-from ../$(GLOBALS) \
+		-d ../html
+
+dvi:
+	xdvi latex/cpdt