Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
pub
frama-c
Commits
1d061de1
Commit
1d061de1
authored
Nov 12, 2020
by
Patrick Baudin
Committed by
Virgile Prevosto
Nov 13, 2020
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[doc] Bring i18n to frama-c-book
parent
2181e8e7
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
0 deletions
+4
-0
doc/frama-c-book.cls
doc/frama-c-book.cls
+4
-0
No files found.
doc/frama-c-book.cls
View file @
1d061de1
...
...
@@ -19,6 +19,7 @@ prefix=framacbook@,
\DeclareVoidOption
{
web
}{
\PassOptionsToPackage
{
colorlinks,urlcolor=blue
}{
hyperref
}}
\DeclareVoidOption
{
paper
}{
\PassOptionsToPackage
{
pdfborder=0 0 0
}{
hyperref
}}
\DeclareStringOption
[{version=4.0,modifier=by-sa}]
{
license
}
\DeclareStringOption
[english]
{
lang
}
\DeclareDefaultOption
{
\PassOptionsToClass
{
\CurrentOption
}{
report
}}
\PassOptionsToClass
{
a4paper,11pt,twoside,openright
}{
report
}
...
...
@@ -26,10 +27,13 @@ prefix=framacbook@,
\LoadClass
{
report
}
\PassOptionsToPackage
{
\framacbook
@lang
}{
babel
}
\ifthenelse
{
\equal
{
\framacbook
@license
}{
no
}}{
\useccfalse
}{}
\ifusecc
\PassOptionsToPackage
{
\framacbook
@license
}{
doclicense
}
\fi
\RequirePackage
{
babel
}
\RequirePackage
{
fullpage
}
\RequirePackage
{
lmodern
}
\RequirePackage
[T1]
{
fontenc
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment