summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am2
-rw-r--r--doc/archi.tex2
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}