summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPixel <Pixel>2001-05-03 01:03:08 +0000
committerPixel <Pixel>2001-05-03 01:03:08 +0000
commit96279839dfa537d8ad9423fafdf6c12f6fe6591e (patch)
tree6ff3e47ca8f3cd92fe8065e92d0428e293dff25f /doc
parent996719402b210b48d106c637199d22c5a54c25bf (diff)
Pouet
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am2
-rw-r--r--doc/Makefile.doc2
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6bed805..85fc53c 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 algo.tex
+EXTRA_DIST = bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex algo.tex Makefile.doc exemples.tex
diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index b3131bf..8757732 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 algo.tex
+$(PROJET).dvi: bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex polynom.tex source.tex algo.tex exemples.tex
echo
echo pass1
echo