blob: 09ab4276b08f3819ed606128a181271f59c2d49f (
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
|
# 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
%.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
|
