diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 54d0db0..d707057 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1 +1,15 @@ -EXTRA_DIST = Dumb.doc.fr +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 + +all: archi.ps + +source.tex: + make -f Makefile.doc source + +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 + +archi.ps: archi.dvi + make -f Makefile.doc archi.ps + +clean: + make -f Makefile.doc clean |