summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPixel <>2001-04-17 22:46:41 +0000
committerPixel <>2001-04-17 22:46:41 +0000
commite95550d108107faab292a44defa599ce4400f1df (patch)
tree376e47d0cb97219ccc1bcd5714736f70e423ab34
parent47e2da7929c9fad9a97c2a6ceea76f00e4a25321 (diff)
Makefile.doc
-rw-r--r--doc/Makefile.doc29
1 files changed, 29 insertions, 0 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc
new file mode 100644
index 0000000..ff0c15f
--- /dev/null
+++ b/doc/Makefile.doc
@@ -0,0 +1,29 @@
+PROJET=algo
+
+all: $(PROJET).dvi
+
+$(PROJET).dvi: source.tex algo.tex algorithmes.tex bib.tex conclusion.tex description.tex intro.tex manuel.tex outils.tex temps.tex structures.tex
+ echo
+ echo pass1
+ echo
+ latex $(PROJET)
+ echo
+ echo pass2
+ echo
+ latex $(PROJET)
+
+source.tex:
+ echo '\section{Includes}' > source.tex
+ for i in `find ../include -name *.h` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
+ echo '\section{Sources des librairies}' >> source.tex
+ for i in `find ../lib -name *.c?` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
+ echo '\section{Sources des frontends}' >> source.tex
+ for i in `find ../src -name *.cc` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
+
+ps: $(PROJET).ps
+
+$(PROJET).ps: $(PROJET).dvi
+ dvips $(PROJET)
+
+clean:
+ rm -f *.dvi *.aux *.toc *.ps *.log source.tex