1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index d707057..08651de 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,13 +1,13 @@
 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
 
-all: archi.ps
-
-source.tex:
-	make -f Makefile.doc source
+#all: archi.ps
 
 archi.dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex exemples.tex extensions.tex intro.tex manuel.tex probs.tex simulateur.tex source.tex
 	make -f Makefile.doc
 
+source.tex:
+	make -f Makefile.doc source
+
 archi.ps: archi.dvi
 	make -f Makefile.doc archi.ps