From c23d09bf6943691083733cfade0ded636e30c106 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Sep 2023 10:04:07 +0200
Subject: [PATCH] [doc] clean up book class
- use proper macro for CEA List's name
- remove useless command definitions
---
doc/frama-c-book.cls | 13 +------------
1 file changed, 1 insertion(+), 12 deletions(-)
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 3436b3c0c26..1f7f62d9de1 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -105,7 +105,7 @@
\newcommand{\addcopyrightowner}[1]{
\listadd{\@copyrightowner}{#1}
}
-\addcopyrightowner{CEA LIST} % add it by default
+\addcopyrightowner{\cealist} % add it by default
\newcommand{\insertcopyrightowners}{{
\def\listsep{\def\listsep{, }}%
@@ -262,16 +262,6 @@
\listadd{\@people}{#1}
}
-\def\@anrprojects{}
-\newcommand{\acknowledgeANRproject}[1]{
- \listadd{\@anrprojects}{#1}
-}
-
-\def\@euprojects{}
-\newcommand{\acknowledgeEUproject}[1]{
- \listadd{\@euprojects}{#1}
-}
-
\newcommand{\commaorandlist}[1]{%
\count255=0
\def\do##1{\advance\count255 1 \chardef\finalitem=\count255 }%
@@ -291,7 +281,6 @@
\fi
}}
-
% \acknowledgeprogram{<flag image file>}{<text inside box>}
\newcommand{\acknowledgeprogram}[2]{
\noindent\fbox{%
--
GitLab