diff options
| author | Pixel <> | 2001-04-23 18:22:55 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-04-23 18:22:55 +0000 |
| commit | 02217b72233529114b1665fe0b97008a38eaea71 (patch) | |
| tree | 51dee25c6320c31de291e1381df1f0358430ad22 /doc | |
| parent | cc0f4fd6799656c2aad4626fff699375d7e8deb4 (diff) | |
On passe a une nouvelle revisionrel-1-0
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} |