diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 2 | ||||
-rw-r--r-- | doc/archi.tex | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 08651de..77a1d5a 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,4 @@ -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 +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 diff --git a/doc/archi.tex b/doc/archi.tex index f522549..6756df9 100644 --- a/doc/archi.tex +++ b/doc/archi.tex @@ -70,6 +70,8 @@ \part{Synthèse} \input{manuel} \clearemptydoublepage +\input{outils} +\clearemptydoublepage \input{probs} \clearemptydoublepage \input{exemples} |