From aa5095ca90568f838414a128d3b02d2046851bdd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 25 Mar 2024 18:54:24 +0100
Subject: [PATCH] update userman
---
doc/userman/Makefile | 2 +-
doc/userman/changes.tex | 11 +++++++++++
doc/userman/frama-c-book.cls | 34 ++++++++++++++++++----------------
3 files changed, 30 insertions(+), 17 deletions(-)
diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 4aecdea8..8f8dce7c 100644
--- a/doc/userman/Makefile
+++ b/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
diff --git a/doc/userman/changes.tex b/doc/userman/changes.tex
index e9631c5c..e074606f 100644
--- a/doc/userman/changes.tex
+++ b/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.
diff --git a/doc/userman/frama-c-book.cls b/doc/userman/frama-c-book.cls
index 305ef01a..b5020344 100644
--- a/doc/userman/frama-c-book.cls
+++ b/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]{
--
GitLab