From 652785cf2bd236b169b94bed6e9951409c33eba7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 20 Jan 2023 17:51:44 +0100
Subject: [PATCH] [doc] manual: CEA logo
---
doc/frama-c-book.cls | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 6978714adb9..6e54587fc9b 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}}}%
--
GitLab