diff options
| author | Pixel <Pixel> | 2001-05-02 23:37:01 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-05-02 23:37:01 +0000 |
| commit | 25c35ed8862258cff8b96a1849814d7526d6c8d9 (patch) | |
| tree | 79948e8a72efdc0ebe64556c78358a7038e5b3d8 /doc/Makefile.am | |
| parent | 2f24e11cb53c348b48eb977912371797d8ece06b (diff) | |
Pouet
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 c894a53..6bed805 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -7,4 +7,4 @@ clean: distclean: make -f Makefile.doc clean -EXTRA_DIST = bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex +EXTRA_DIST = bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex algo.tex |