From 6b1698abc11d7d23b1cfc9e94b839be9c4778d76 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 8 Feb 2023 13:53:53 +0100
Subject: [PATCH] [doc] fix header size warning
---
doc/frama-c-book.cls | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index b605d8df610..f785b0f1d5d 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -312,6 +312,7 @@
\fancyhead[L]{\vspace{1.25em}\raggedleft\rightmark\vspace{-1.25em}}
\fancyfoot[C]{\thepage}
\renewcommand{\headrulewidth}{0pt}
+\setlength{\headheight}{24pt}
% --------------------------------------------------------------------------
% Chapters
--
GitLab