Skip to content
Snippets Groups Projects
Commit 652785cf authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[doc] manual: CEA logo

parent a4cd81fa
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
doc/frama-c-book.cls
+ 1
− 0
View file @ 652785cf
...@@ -110,6 +110,7 @@ ...@@ -110,6 +110,7 @@
\newcommand{\addlogo}[1]{ \newcommand{\addlogo}[1]{
\listadd{\@logos}{#1} \listadd{\@logos}{#1}
} }
\addlogo{\cealogo} % add it by default
\newcommand{\insertlogos}{{ \newcommand{\insertlogos}{{
\def\listsep{\def\listsep{\hspace{2em}}}% \def\listsep{\def\listsep{\hspace{2em}}}%
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment