From c26624ca9300b8fddf5f6e2bcf46e6ff075b43f4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 25 Jan 2023 16:26:56 +0100
Subject: [PATCH] [doc] manuals: add sloppy and emergency stretch
---
doc/developer/developer.tex | 3 +++
doc/eva/main.tex | 2 ++
doc/metrics/metrics.tex | 3 +++
doc/release/release.tex | 2 ++
doc/rte/main.tex | 2 ++
doc/userman/userman.tex | 2 ++
src/plugins/e-acsl/doc/refman/main.tex | 1 +
src/plugins/e-acsl/doc/userman/main.tex | 3 ++-
src/plugins/wp/doc/manual/wp.tex | 5 +++--
9 files changed, 20 insertions(+), 3 deletions(-)
diff --git a/doc/developer/developer.tex b/doc/developer/developer.tex
index 62e0d4c5b33..93447ef6696 100644
--- a/doc/developer/developer.tex
+++ b/doc/developer/developer.tex
@@ -69,6 +69,9 @@ and Virgile~Prevosto}
\copyrightstarts{2009}
\begin{document}
+\sloppy
+\emergencystretch 3em
+
\maketitle
\tableofcontents
diff --git a/doc/eva/main.tex b/doc/eva/main.tex
index ebe77d90858..c775e3f44be 100644
--- a/doc/eva/main.tex
+++ b/doc/eva/main.tex
@@ -48,6 +48,8 @@ Valentin Perrelle and Virgile Prevosto}
%==============================================================================
\begin{document}
+\sloppy
+\emergencystretch 3em
\maketitle
\tableofcontents
diff --git a/doc/metrics/metrics.tex b/doc/metrics/metrics.tex
index 06586c962d2..a0f2f1d4de9 100644
--- a/doc/metrics/metrics.tex
+++ b/doc/metrics/metrics.tex
@@ -13,6 +13,9 @@
\copyrightstarts{2011}
\begin{document}
+\sloppy
+\emergencystretch 3em
+
\maketitle
\tableofcontents
diff --git a/doc/release/release.tex b/doc/release/release.tex
index 343dcad5685..730a7c8a6fe 100644
--- a/doc/release/release.tex
+++ b/doc/release/release.tex
@@ -14,6 +14,8 @@
\copyrightstarts{2009}
\begin{document}
+\sloppy
+\emergencystretch 3em
\maketitle
\tableofcontents
diff --git a/doc/rte/main.tex b/doc/rte/main.tex
index b8b7efe2b7d..806494474db 100644
--- a/doc/rte/main.tex
+++ b/doc/rte/main.tex
@@ -61,6 +61,8 @@
\copyrightstarts{2010}
\begin{document}
+\sloppy
+\emergencystretch 3em
\maketitle
diff --git a/doc/userman/userman.tex b/doc/userman/userman.tex
index aeb3cb8dcba..a9672dba2bf 100644
--- a/doc/userman/userman.tex
+++ b/doc/userman/userman.tex
@@ -29,6 +29,8 @@
\copyrightstarts{2009}
\begin{document}
+\sloppy
+\emergencystretch 3em
\maketitle
\tableofcontents
diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index 3681c6f83dc..c25d099a06f 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -64,6 +64,7 @@
\begin{document}
\sloppy
+\emergencystretch 3em
\hbadness=10000
\maketitle
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index b504f1029ab..9783769fa87 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -25,7 +25,8 @@
\copyrightstarts{2013}
\begin{document}
-
+\sloppy
+\emergencystretch 3em
\maketitle
\tableofcontents
diff --git a/src/plugins/wp/doc/manual/wp.tex b/src/plugins/wp/doc/manual/wp.tex
index 1738ab83a33..9e35ffbfbcf 100644
--- a/src/plugins/wp/doc/manual/wp.tex
+++ b/src/plugins/wp/doc/manual/wp.tex
@@ -24,9 +24,10 @@
%\anticopyCEA{} % To comments for public version.
\begin{document}
+\sloppy
+\emergencystretch 3em
+
\maketitle
-\cleardoublepage
-\markright{}
\tableofcontents
\chapter*{Foreword}
--
GitLab