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
|
## $Id: Makefile,v 1.32 2008/01/25 13:30:19 logik Exp $
## Makefile for subdirectory doc
all: .dep
ls -sh
.dep: mlcf.pdf mpcref.pdf ref.pdf reflection_manual.pdf tutor.pdf cleanup
touch .dep
mlcf.pdf: mlcf.tex bussproofs.sty minlog.bib
pdflatex mlcf >> /dev/null
bibtex -terse mlcf
makeindex -q mlcf
pdflatex mlcf >> /dev/null
pdflatex mlcf >> /dev/null
mpcref.pdf: mpcref.tex
pdflatex mpcref.tex >> /dev/null
pdflatex mpcref.tex >> /dev/null
ref.pdf: ref.tex bussproofs.sty minlog.bib
pdflatex ref >> /dev/null
bibtex -terse ref
makeindex -q ref
pdflatex ref >> /dev/null
pdflatex ref >> /dev/null
reflection_manual.pdf: reflection_manual.tex
pdflatex reflection_manual.tex >> /dev/null
pdflatex reflection_manual.tex >> /dev/null
tutor.pdf: tutor.tex
pdflatex tutor >> /dev/null
bibtex -terse tutor
pdflatex tutor >> /dev/null
clean: cleanup
rm -rf .dep .dep.*
rm -rf *.dvi *.pdf *.ps
rm -rf *~ *%
ls -sh
cleanup:
rm -rf *.aux *.log *.blg *.bbl *.idx *.toc *.ind *.ilg *.brf *.out
|
