summaryrefslogtreecommitdiff
path: root/doc/Makefile.doc
diff options
context:
space:
mode:
authorPixel <>2001-04-17 03:12:03 +0000
committerPixel <>2001-04-17 03:12:03 +0000
commitf12eda64018215310e5d563ebaf9fe4d46db24ff (patch)
tree7b6b6c732f5dfd7d59d55fe65febe1fb3bc8d010 /doc/Makefile.doc
parent418bbe36b040c8638a16ead508c1f77d3bcd4c66 (diff)
Makefile.doc
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r--doc/Makefile.doc2
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