From a7bc5cfa7399926941a3754e3cbdc671f24b4b3d Mon Sep 17 00:00:00 2001
From: Pixel <>
Date: Tue, 17 Apr 2001 06:55:02 +0000
Subject: Pout

---
 doc/Makefile.am | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc/Makefile.am')

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
 
-- 
cgit v1.2.3