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/Makefile.am | |
| parent | cc0f4fd6799656c2aad4626fff699375d7e8deb4 (diff) | |
On passe a une nouvelle revisionrel-1-0
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 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 |