2 SOURCES = $(MAIN).tex intro.tex ddn.tex xpl.tex asn.tex gec.tex experiments.tex concl.tex abbrev.bib biblioand.bib
7 $(MAIN).pdf: $(SOURCES)
8 @printf "***** Compilation 1 *****\n"
9 @pdflatex $(MAIN) > $(LOG)
10 @printf "***** Biblio *****\n"
11 @bibtex $(MAIN) >> $(LOG)
12 @printf "***** Compilation 2 *****\n"
13 @pdflatex $(MAIN) >> $(LOG)
14 @printf "***** Compilation 3 *****\n"
15 @pdflatex $(MAIN) >> $(LOG)
18 latex $(MAIN).tex > $(LOG)
19 latex $(MAIN).tex >> $(LOG)
20 bibtex $(MAIN) >> $(LOG)
21 latex $(MAIN).tex >> $(LOG)
22 dvips -t a4 $(MAIN).dvi -o >> $(LOG)
23 ps2pdf $(MAIN).ps >> $(LOG)
26 latex $(MAIN).tex > $(LOG)
27 dvips -t a4 $(MAIN).dvi -o >> $(LOG)
28 ps2pdf $(MAIN).ps >> $(LOG)
37 rm -rf *~ *aux *.log *bbl *blg *.dvi *.bak *.thm *.out *.toc *.idx .svn/
40 # construit l'archive toute prete (pour Springer)
41 TEXSOURCES = main.tex ddn.tex
42 PACKAGES = mathpartir.sty synttree.sty bcprules.sty arydshln.sty
43 CLSSTY = llncs.cls llncsdoc.sty splncs.bst sprmindx.sty
44 UTIL = Makefile copyright.pdf CL07-CameraReady.pdf readme
45 FILES = $(TEXSOURCES) $(PACKAGES) $(CLSSTY) $(UTIL)
48 zip Archive.zip $(FILES)