diff options
| author | Pixel <> | 2001-04-17 02:55:22 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-04-17 02:55:22 +0000 |
| commit | 83970d84f61dc14abeb947528d5557831118fc89 (patch) | |
| tree | 14f0c84d49e3bbbcd5db52473aa9832b867bce61 /doc/Makefile.doc | |
| parent | ebeaa609baf00a783273eadfd4586fea050d55c9 (diff) | |
Changement du Makefile.doc
Diffstat (limited to 'doc/Makefile.doc')
| -rw-r--r-- | doc/Makefile.doc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 84673e9..ebc2a0c 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -12,7 +12,8 @@ $(PROJET).dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex 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 +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 |