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 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 |