From c4e0fe1edbcbd5f3a38438c9a78c84a96e3c6fc2 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 8 Feb 2023 13:55:58 +0100
Subject: [PATCH] [doc] important blocks in orange
---
doc/developer/introduction.tex | 2 +-
doc/developer/macros.sty | 7 -------
doc/eva/main.tex | 7 -------
doc/frama-c-book.cls | 2 +-
doc/userman/macros.tex | 8 --------
src/plugins/e-acsl/doc/userman/macros.tex | 6 ------
6 files changed, 2 insertions(+), 30 deletions(-)
diff --git a/doc/developer/introduction.tex b/doc/developer/introduction.tex
index 54c1ae77b18..b19747d9410 100644
--- a/doc/developer/introduction.tex
+++ b/doc/developer/introduction.tex
@@ -58,7 +58,7 @@ in the index corresponds to an actual \framac value.
\begin{important}
- The most important paragraphs are displayed inside gray boxes like this one.
+ The most important paragraphs are displayed inside orange boxes like this one.
A plug-in developer \textbf{must} follow them very carefully.
\end{important}
diff --git a/doc/developer/macros.sty b/doc/developer/macros.sty
index f53b62d4f33..dc0bc789d54 100644
--- a/doc/developer/macros.sty
+++ b/doc/developer/macros.sty
@@ -93,13 +93,6 @@
\font\manual=manfnt
\def\dbend{{\manual\char127}}
-%\newlength{\longueur}
-\newenvironment{important}%
-{\hspace{5pt plus \linewidth minus \marginparsep}%
- \begin{lrbox}{\@tempboxa}%
- \begin{minipage}{\linewidth - 2\fboxsep}}
-{\end{minipage}\end{lrbox}\colorbox{gris}{\usebox{\@tempboxa}}}
-
\newtheorem{convention}{Recommendation}[chapter]
\newtheorem{myexample}{Example}[chapter]
diff --git a/doc/eva/main.tex b/doc/eva/main.tex
index c775e3f44be..20057ec1d9c 100644
--- a/doc/eva/main.tex
+++ b/doc/eva/main.tex
@@ -21,13 +21,6 @@
\newcommand{\cbopen}{\mbox{\tt \{}}
\newcommand{\cbclose}{\mbox{\tt \}}}
-% Special environment
-\definecolor{gris}{gray}{0.85}
-
-\makeatletter
-\newenvironment{important}{\begin{colbox}{gris}}{\end{colbox}}
-\makeatother
-
\newcommand{\framacversion}%
{\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
\newcommand{\isoc}{\textsf{C99}}
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 7aa4f114a01..1b83e92b0fb 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -382,7 +382,7 @@
\end{center}
}
-\newenvironment{warning}{\begin{colbox}{frama-c-dark-orange!30}}{\end{colbox}}
+\newenvironment{important}{\begin{colbox}{frama-c-dark-orange!30}}{\end{colbox}}
\newenvironment{information}{\begin{colbox}{frama-c-green!30}}{\end{colbox}}
% --------------------------------------------------------------------------
diff --git a/doc/userman/macros.tex b/doc/userman/macros.tex
index 97b84a5b5dc..d5300326348 100644
--- a/doc/userman/macros.tex
+++ b/doc/userman/macros.tex
@@ -43,12 +43,4 @@
% Special environment
\definecolor{gris}{gray}{0.85}
-\makeatletter
-\newenvironment{important}%
-{\hspace{5pt plus \linewidth minus \marginparsep}%
- \begin{lrbox}{\@tempboxa}%
- \begin{minipage}{\linewidth - 2\fboxsep}}
-{\end{minipage}\end{lrbox}\colorbox{gris}{\usebox{\@tempboxa}}}
-\makeatother
-
\newtheorem{convention}{Recommendation}[chapter]
diff --git a/src/plugins/e-acsl/doc/userman/macros.tex b/src/plugins/e-acsl/doc/userman/macros.tex
index 513101b9c92..212365b7a11 100644
--- a/src/plugins/e-acsl/doc/userman/macros.tex
+++ b/src/plugins/e-acsl/doc/userman/macros.tex
@@ -288,9 +288,3 @@ evolve in the future and/or not work as expected.}}
\newcommand{\B}[1]{\textbf{#1}}
\definecolor{gris}{gray}{0.85}
-\makeatletter
-\newenvironment{important}%
-{\hspace{5pt plus \linewidth minus \marginparsep}%
- \begin{lrbox}{\@tempboxa}%
- \begin{minipage}{\linewidth - 2\fboxsep}}
-{\end{minipage}\end{lrbox}\colorbox{gris}{\usebox{\@tempboxa}}}
--
GitLab