From c0dafd7b9e9092621f1f1e018d458ef682241b72 Mon Sep 17 00:00:00 2001
From: Pixel <>
Date: Tue, 17 Apr 2001 04:45:43 +0000
Subject: Makefile

---
 doc/Makefile.am | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'doc/Makefile.am')

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 54d0db0..d707057 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1 +1,15 @@
-EXTRA_DIST = Dumb.doc.fr
+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
+
+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
+
+archi.ps: archi.dvi
+	make -f Makefile.doc archi.ps
+
+clean:
+	make -f Makefile.doc clean
-- 
cgit v1.2.3