blob: 18f01e9eecb36487ac9dfd6e699112f89403e9c7 (
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
MAIN= coq-sample
$(MAIN).pdf: $(MAIN).ps
ps2pdf $(MAIN).ps
pdfopt $(MAIN).pdf $(MAIN)-opt.pdf
mv $(MAIN)-opt.pdf $(MAIN).pdf
$(MAIN).ps: $(MAIN).tex $(MAIN)-delayed.mp
latex $(MAIN)
latex $(MAIN)
dvips -t unknown $(MAIN) -o
$(MAIN)-proof.pdf: $(MAIN)-proof.ps
ps2pdf $(MAIN)-proof.ps
$(MAIN)-proof.ps: $(MAIN)-delayed.mp
latex $(MAIN)-proof
dvips -t unknown $(MAIN)-proof -o
$(MAIN)-delayed.mp: $(MAIN).mp
$(RM) $(MAIN)-delayed.mp
mpost $(MAIN)
mpost $(MAIN)
.SILENT clean:
$(RM) drv.mpx
$(RM) $(MAIN).[0-9]*
$(RM) $(MAIN).aux
$(RM) $(MAIN).dvi
$(RM) $(MAIN).log
$(RM) $(MAIN).nav
$(RM) $(MAIN).out
$(RM) $(MAIN).snm
$(RM) $(MAIN).toc
$(RM) $(MAIN)-delayed.mp
$(RM) $(MAIN)-delayed.mpx
$(RM) $(MAIN)-proof.aux
$(RM) $(MAIN)-proof.dvi
$(RM) $(MAIN)-proof.log
$(RM) $(MAIN)-proof.nav
$(RM) $(MAIN)-proof.out
$(RM) $(MAIN)-proof.snm
$(RM) $(MAIN)-proof.tex
$(RM) $(MAIN)-proof.toc
cleanall: clean
$(RM) $(MAIN).pdf
$(RM) $(MAIN).ps
$(RM) $(MAIN)-proof.pdf
$(RM) $(MAIN)-proof.ps
|
