diff options
| -rw-r--r-- | doc/Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index ebc2a0c..e824e89 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -13,7 +13,7 @@ $(PROJET).dvi: archi.tex bib.tex compilateur.tex conclusion.tex description.tex 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 + 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 |