diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls index 6978714adb9ddcf454335b538b983290db96ec5c..6e54587fc9b467d21e380b369722b1f0c9ca0d64 100644 --- a/doc/frama-c-book.cls +++ b/doc/frama-c-book.cls @@ -110,6 +110,7 @@ \newcommand{\addlogo}[1]{ \listadd{\@logos}{#1} } +\addlogo{\cealogo} % add it by default \newcommand{\insertlogos}{{ \def\listsep{\def\listsep{\hspace{2em}}}%