summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/sample/makefile
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