summaryrefslogtreecommitdiff
path: root/doc/Makefile.doc
diff options
context:
space:
mode:
authorbiouman <>2001-04-17 02:42:06 +0000
committerbiouman <>2001-04-17 02:42:06 +0000
commitebeaa609baf00a783273eadfd4586fea050d55c9 (patch)
tree2b4041296cc6e52a7e6cc499087fb5baed1e68f9 /doc/Makefile.doc
parentcea04a04179cb6030a32d55b05581fb920b716f1 (diff)
*** empty log message ***
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r--doc/Makefile.doc23
1 files changed, 23 insertions, 0 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc
new file mode 100644
index 0000000..84673e9
--- /dev/null
+++ b/doc/Makefile.doc
@@ -0,0 +1,23 @@
+PROJET=archi
+
+all: $(PROJET).dvi
+
+$(PROJET).dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex encodage.tex extensions.tex intro.tex simulateur.tex Compilo.eps
+ echo
+ echo pass1
+ echo
+ latex $(PROJET)
+ echo
+ echo pass2
+ echo
+ latex $(PROJET)
+
+source: for i in `find .. -name "*.c" -or -name "*.h" | grep -v /intl/ | grep -v /po/`; do echo "\paragraph{$i}"; echo "\lstinputlisting{$i}"; done > source.tex
+
+ps: $(PROJET).ps
+
+$(PROJET).ps: $(PROJET).dvi
+ dvips $(PROJET)
+
+clean:
+ rm -f *.dvi *.aux *.toc *.ps *.log