From c8ba996a1eae297107232a5d5c22fa9e30b65628 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 12 May 2021 16:46:37 +0200
Subject: [PATCH] [frama-c-book] update required LaTeX packages list according
to new versions
---
doc/frama-c-book.cls | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 2dce074dba3..e2d476f9ae4 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -10,7 +10,6 @@
% --------------------------------------------------------------------------
\makeatletter
\RequirePackage{kvoptions}
-\RequirePackage{kvoptions-patch}
\SetupKeyvalOptions{
family=framacbook,
prefix=framacbook@,
@@ -18,7 +17,7 @@ prefix=framacbook@,
\RequirePackage{ifthen}
\DeclareVoidOption{web}{\PassOptionsToPackage{colorlinks,urlcolor=blue}{hyperref}}
\DeclareVoidOption{paper}{\PassOptionsToPackage{pdfborder=0 0 0}{hyperref}}
-\DeclareStringOption[{version=4.0,modifier=by-sa}]{license}
+\DeclareStringOption[{type=CC,version=4.0,modifier=by-sa}]{license}
\DeclareStringOption[english]{lang}
\DeclareDefaultOption{\PassOptionsToClass{\CurrentOption}{report}}
\PassOptionsToClass{a4paper,11pt,twoside,openright}{report}
--
GitLab