blob: 47a102fd91c8030d89ed548275c261d4203da757 (
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
33
34
35
36
|
# Makefile for doc/
all: newsyntax.dvi minicoq.dvi
newsyntax.dvi: newsyntax.tex
latex $<
latex $<
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 $@
|
