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
51
52
53
54
55
56
57
58
59
60
61
62
|
all: hermann-pp.pdf
PDFLATEX:=pdflatex -interaction="errorstopmode"
WWW=/users/demons/filliatr/WWW
main-pp.pdf: main-pp.tex biblio.bib figures.mp figmp.mps yannick1.mps florence.mps
pdflatex $<
bibtex main-pp
pdflatex $<
bibtex main-pp
pdflatex $<
pdflatex $<
hermann-pp.pdf: hermann-pp.tex biblio.bib figures.mp figmp.mps yannick1.mps florence.mps
$(PDFLATEX) $<
# bibtex hermann-pp
# $(PDFLATEX) $<
# bibtex hermann-pp
# $(PDFLATEX) $<
# $(PDFLATEX) $<
slides.pdf: slides.tex figures.mp alt_ergo.mp
pdflatex $<
%-pp.tex: pp.ml %.tex
ocaml $^ > $@
wc:
grep -iw frametitle slides.tex | wc -l
%.mp: %.ml
../../_build/tool.native -ccopt "-I ../../" -pdf -latex main.tex $^
figmp.mps: figmp.mp
mpost figmp.mp end
mv figmp.1 figmp.mps
yannick1.mps: yannick1.1
cp $^ $@
florence.mps: florence.1
cp $^ $@
main-pp.dvi: main-pp.tex
latex $^
pp.ml: pp.mll
ocamllex pp.mll
print: main-pp.ps
lpr $^
export: main-pp.pdf
cp -f main-pp.pdf $(WWW)/publis/mlpost-fra.pdf
clean:
rm -f *~ *.aux *.log *.bbl *.blg *.mps
rm -f main-pp.dvi main-pp.ps figures.mp
rm -f mpxerr.dvi mpxerr.tex main-pp.pdf
|
