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.doc | |
| parent | 2f24e11cb53c348b48eb977912371797d8ece06b (diff) | |
Pouet
Diffstat (limited to 'doc/Makefile.doc')
| -rw-r--r-- | doc/Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index f71be85..b3131bf 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -2,7 +2,7 @@ PROJET=polynom all: $(PROJET).dvi -$(PROJET).dvi: bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex source.tex +$(PROJET).dvi: bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex source.tex algo.tex echo echo pass1 echo |