[doc] nouveau logo CEA list

5863e3c4 · Allan Blanchard · c74700c0 · 5863e3c4 · c74700c0 · 5863e3c4
Commit 5863e3c4 authored 2 years ago by Allan Blanchard
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -60,7 +60,7 @@
  {\fcaffiliationfr}
  {\cealist, Université Paris-Saclay\\ Laboratoire de Sûreté et Sécurité des Logiciels\xspace}

-\newcommand{\cealogo}{logos/cea_tech_list.jpg}
+\newcommand{\cealogo}{logos/cea_tech_list.png}

 % --------------------------------------------------------------------------
 % LICENSE commands

--- a/doc/logos/cea_tech_list.jpg
+++ b/doc/logos/cea_tech_list.jpg
--- a/doc/logos/cea_tech_list.png
+++ b/doc/logos/cea_tech_list.png