EXTRA_DIST = registres.txt archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex exemples.tex extensions.tex intro.tex manuel.tex probs.tex simulateur.tex Makefile.doc Compilo.fig Compilo.eps outils.tex #all: archi.ps archi.dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex exemples.tex extensions.tex intro.tex manuel.tex probs.tex simulateur.tex source.tex make -f Makefile.doc source.tex: make -f Makefile.doc source archi.ps: archi.dvi make -f Makefile.doc archi.ps clean: make -f Makefile.doc clean