diff options
| author | Pixel <> | 2001-04-17 22:49:29 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-04-17 22:49:29 +0000 |
| commit | 66058d4b32bc052a0d23ed2f626d39064e2a5f20 (patch) | |
| tree | a9089270ab2a6f41d06465c76bc023e1d7fcb03c /doc | |
| parent | e95550d108107faab292a44defa599ce4400f1df (diff) | |
numbers.c
Diffstat (limited to 'doc')
| -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 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 |