From 555096d90cd4170413e7f75250aa89b0e23f264f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 7 May 2020 08:58:44 +0200
Subject: [PATCH] [Doc] fix minor page number issue with hyperref
Suggested by jens (https://bts.frama-c.com/view.php?id=2505)
---
doc/frama-c-book.cls | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 4e8120ed789..5cd0cc0e7df 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -34,7 +34,6 @@ prefix=framacbook@,
\RequirePackage{lmodern}
\RequirePackage[T1]{fontenc}
\RequirePackage[utf8]{inputenc}
-\RequirePackage[pdftex,pdfstartview=FitH]{hyperref}
\RequirePackage{amssymb}
\RequirePackage{xcolor}
\RequirePackage[pdftex]{graphicx}
@@ -45,6 +44,7 @@ prefix=framacbook@,
\RequirePackage{fancyhdr}
\RequirePackage{titlesec}
\RequirePackage{upquote}
+\RequirePackage[pdftex,pdfstartview=FitH]{hyperref}
\ifusecc\RequirePackage{doclicense}\else\fi
% --------------------------------------------------------------------------
% --- Page Layout ---
--
GitLab