diff options
Diffstat (limited to 'doc/Makefile.doc')
| -rw-r--r-- | doc/Makefile.doc | 23 |
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 |