From 66058d4b32bc052a0d23ed2f626d39064e2a5f20 Mon Sep 17 00:00:00 2001
From: Pixel <>
Date: Tue, 17 Apr 2001 22:49:29 +0000
Subject: numbers.c

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

diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index ff0c15f..97b2209 100644
--- a/doc/Makefile.doc
+++ b/doc/Makefile.doc
@@ -16,7 +16,7 @@ source.tex:
 	echo '\section{Includes}' > source.tex
 	for i in `find ../include -name *.h` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
 	echo '\section{Sources des librairies}' >> source.tex
-	for i in `find ../lib -name *.c?` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
+	for i in `find ../lib -name *.c -or -name *.cc` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
 	echo '\section{Sources des frontends}' >> source.tex
 	for i in `find ../src -name *.cc` ; do echo "\subsection{`basename $$i`}"; echo "\lstinputlisting{$$i}"; done >> source.tex
 
-- 
cgit v1.2.3