blob: f4b0c7ef6c8a406a58635fb15ca0d691ebf0eb7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# Makefile for doc/
all: minicoq.dvi
coq.dvi: coq.tex
latex coq
latex coq
coq.tex::
make -C .. doc/coq.tex
depend:: kernel.dep.ps library.dep.ps pretyping.dep.ps parsing.dep.ps \
proofs.dep.ps tactics.dep.ps toplevel.dep.ps
%.dot: ../%
(cd ../$*; ocamldep *.ml *.mli) | ocamldot -lr > $@
%.dep.ps: %.dot
dot -Tps $< -o $@
clean::
rm -f *~ *.log *.aux
.SUFFIXES: .tex .dvi .ps
.tex.dvi:
latex $< && latex $<
.dvi.ps:
dvips $< -o $@
|