update userman

doc/userman/Makefile

@@ -77,6 +77,6 @@ transfmain.cmo: transf.cmo
 
 clean:
 	rm -rf *~ *.aux *.log *.nav *.out *.snm *.toc *.lof *.pp *.bnf \
-		*.haux  *.hbbl *.htoc \
+		*.haux  *.hbbl *.htoc *.fls \
                 *.cb* *.cm? *.bbl *.blg *.idx *.ind *.ilg \
 		transf trans.ml pp.ml pp

doc/userman/changes.tex

@@ -3,6 +3,17 @@
 This chapter summarizes the changes in \framaclang and its documentation
 between each release, with the most recent releases first.
 
+\section*{Version 0.0.15}
+\begin{itemize}
+\item
+  Better handling of mixed C/C++ code and \texttt{extern\ "C"}
+  declarations
+\item
+  Compatibility with Clang 17
+\item
+  Compatibility with Frama-C 28.x Nickel
+\end{itemize}
+
 \section*{Version 0.0.14}
 \begin{itemize}
 \item Compatibility with \FramaC 27.x Cobalt.

doc/userman/frama-c-book.cls

@@ -105,7 +105,7 @@
 \newcommand{\addcopyrightowner}[1]{
   \listadd{\@copyrightowner}{#1}
 }
-\addcopyrightowner{cealist} % add it by default
+\addcopyrightowner{\cealist} % add it by default
 
 \newcommand{\insertcopyrightowners}{{
   \def\listsep{\def\listsep{, }}%
@@ -167,7 +167,7 @@
   \tikzfading[name=fade right,left color=transparent!0, right color=transparent!80]
   \tikz[remember picture,overlay]{
     \node[inner sep=0pt,anchor=south,yshift=35mm] (named) at (current page.south){
-      \includegraphics[width=\paperwidth]{logos/frama-c-guy}
+      \includegraphics[width=\paperwidth]{frama-c-guy}
     };
     \fill[white,path fading=fade right]
       (named.south west) rectangle (named.north east);
@@ -244,14 +244,16 @@
   {\medskip}
   {\makebox[3em][l]{\thecontentslabel}}
   {\hspace*{3em}}
-  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
+  {\titlerule*[1pc]{.}\makebox[1.5em]{\contentspage}}[]
+%  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
 
 \titlecontents{subsection}
   [5em]
   {\smallskip}
   {\makebox[4.5em][l]{\thecontentslabel}}
   {\hspace*{4.5em}}
-  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
+  {\titlerule*[1pc]{.}\makebox[1.5em]{\contentspage}}[]
+%  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
 
 % --------------------------------------------------------------------------
 % Acknoledgements
@@ -281,19 +283,19 @@
   \fi
 }}
 
-
-% \acknowledge{<flag image file>}{<text inside box>}
+% \acknowledgeprogram{<flag image file>}{<text inside box>}
 \newcommand{\acknowledgeprogram}[2]{
-  \fbox{
-    \begin{minipage}{0.97\textwidth}
-      \begin{minipage}{1.2cm}
-        \includegraphics[width=\linewidth]{#1}
-      \end{minipage}
-      \begin{minipage}{0.90\textwidth}
-        This project has received funding from #2.
-      \end{minipage}
-    \end{minipage}
-  }
+  \noindent\fbox{%
+    \parbox{\dimexpr\linewidth-2\fboxsep-2\fboxrule}{%
+      \begin{minipage}{1.2cm}%
+        \includegraphics[width=\textwidth]{#1}%
+      \end{minipage}%
+      \hfill%
+      \begin{minipage}{0.9\textwidth}%
+        This project has received funding from #2.%
+      \end{minipage}%
+    }%
+  }%
 }
 
 \newcommand{\acknowledgeANR}[1]{