diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls index 3436b3c0c2628484ed962268e2149f9f701725c9..1f7f62d9de1046844abbc5330ad40fefe2e6ce5f 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{%