CORTAPDF= platform.pdf small-big.pdf bb_model.pdf bb_model_x.pdf heap.pdf \
          cad_why.pdf bb_model_zones.pdf bb_model_zones_x.pdf 

smt08-pp.pdf: smt08-pp.tex $(CORTAPDF)
	pdflatex smt08-pp
	grep -iw frametitle smt08.tex | wc -l

smt08-pp.tex: smt08.tex
	latexpp -g color yes $^ -o $@

porto-4-juil-2008-pp.pdf: porto-4-juil-2008-pp.tex $(CORTAPDF)
	pdflatex porto-4-juil-2008-pp
	grep -iw frametitle porto-4-juil-2008.tex | wc -l

porto-4-juil-2008-pp.tex: porto-4-juil-2008.tex
	latexpp -g color yes $^ -o $@

all: bsearch1.c.pp bsearch2.c.pp bsearch3.c.pp bsearch4.c.pp bsearch5.c.pp

corta2007-pp.pdf: corta2007-pp.tex $(CORTAPDF)
	pdflatex corta2007-pp
	grep -iw frametitle corta2007.tex | wc -l

%-pp.tex: %.tex pp.ml
	ocaml pp.ml -color < $< > $@

%.pp: % pp.ml  
	ocaml pp.ml -color -c $<


pp.ml: pp.mll
	ocamllex pp.mll

%.eps: %.dia
	dia --filter=eps-builtin $^

%.pdf: %.eps
	epstopdf $^

%.tex: %.dia
	dia --filter=tex $^

%.png: %.dia
	dia --filter=png --size=2048,1536 $^

clean:
	rm -rf *~ *.aux *.log *.nav *.out *.snm *.toc *.pp