From f12eda64018215310e5d563ebaf9fe4d46db24ff Mon Sep 17 00:00:00 2001
From: Pixel <>
Date: Tue, 17 Apr 2001 03:12:03 +0000
Subject: Makefile.doc

---
 doc/Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/Makefile.doc')

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
 
-- 
cgit v1.2.3