From 18fc6975623f474ad26d98e08a7c7c8c5fc55bca Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 30 Aug 2019 11:14:03 +0200
Subject: [PATCH] [doc] die latin-1 encoding, die
---
doc/userman/biblio.bib | 16 ++++++++--------
doc/userman/frama-c-book.cls | 2 +-
doc/userman/main.tex | 1 -
3 files changed, 9 insertions(+), 10 deletions(-)
diff --git a/doc/userman/biblio.bib b/doc/userman/biblio.bib
index 5a14fc98..2649298a 100644
--- a/doc/userman/biblio.bib
+++ b/doc/userman/biblio.bib
@@ -1,7 +1,7 @@
@manual{userman,
title = {Frama-C User Manual},
- author = {Loīc Correnson and Pascal Cuoq and Florent Kirchner and
- André Maroneze and Virgile Prevosto and
+ author = {Loïc Correnson and Pascal Cuoq and Florent Kirchner and
+ AndrÊ Maroneze and Virgile Prevosto and
Armand Puccetti and Julien Signoles and
Boris Yakobowski},
note = {\url{http://frama-c.cea.fr/download/user-manual.pdf}}
@@ -14,7 +14,7 @@
%% TODO - add a url to the above
@manual{plugin-dev-guide,
- author = {Julien Signoles and Loīc Correnson and Matthieu Lemerre and
+ author = {Julien Signoles and Loïc Correnson and Matthieu Lemerre and
Virgile Prevosto},
title = {{Frama-C Plug-in Development Guide}},
note = {\newline \url{http://frama-c.cea.fr/download/plugin-developer.pdf}},
@@ -22,7 +22,7 @@
@manual{eva,
author = {David B\"uhler and Pascal Cuoq and Boris Yakobowski and
- Matthieu Lemerre and André Maroneze and Valentin Perelle and
+ Matthieu Lemerre and AndrÊ Maroneze and Valentin Perelle and
Virgile Prevosto},
title = {{EVA} -- The Evolved Value Analysis plug-in},
note = {\mbox{\url{http://frama-c.cea.fr/download/value-analysis.pdf}}},
@@ -68,7 +68,7 @@
@inproceedings{rv13tutorial,
- author = {Nikolaī Kosmatov and Julien Signoles},
+ author = {Nikolaï Kosmatov and Julien Signoles},
title = {A Lesson on Runtime Assertion Checking with {Frama-C}},
booktitle = {International Conference on Runtime Verification ({RV 2013})},
publisher = {Springer},
@@ -80,7 +80,7 @@
}
@manual{wp,
- author = {Patrick Baudin and Franįois Bobot and Loīc Correnson
+ author = {Patrick Baudin and François Bobot and Loïc Correnson
and Zaynah Dargaye},
title = {{Frama-C}'s {WP} plug-in},
note = {\mbox{\url{http://frama-c.com/download/frama-c-wp-manual.pdf}}},
@@ -117,7 +117,7 @@ pages={1-37},
}
@inproceedings{rv13,
- author = {Nikolaī Kosmatov and Guillaume Petiot and Julien Signoles},
+ author = {Nikolaï Kosmatov and Guillaume Petiot and Julien Signoles},
title = {An Optimized Memory Monitoring for Runtime Assertion Checking of
{C} Programs},
booktitle = {International Conference on
@@ -133,7 +133,7 @@ pages={1-37},
@inproceedings{jfla15,
title = {{Rester statique pour devenir plus rapide, plus pr{\'e}cis et plus mince}},
author = {Arvid Jakobsson and Nikolai Kosmatov and Julien Signoles},
- booktitle = {Journées Francophones des Langages Applicatifs (JFLA'15)},
+ booktitle = {JournÊes Francophones des Langages Applicatifs (JFLA'15)},
editor = {David Baelde and Jade Alglave},
year = {2015},
month = jan,
diff --git a/doc/userman/frama-c-book.cls b/doc/userman/frama-c-book.cls
index 47463e1c..f82a033e 100644
--- a/doc/userman/frama-c-book.cls
+++ b/doc/userman/frama-c-book.cls
@@ -14,7 +14,7 @@
\RequirePackage{hevea}
\RequirePackage{ifthen}
\RequirePackage[T1]{fontenc}
-\RequirePackage[latin1]{inputenc}
+\RequirePackage[utf8]{inputenc}
\RequirePackage[a4paper,pdftex,pdfstartview=FitH]{hyperref}
\RequirePackage{amssymb}
\RequirePackage{xcolor}
diff --git a/doc/userman/main.tex b/doc/userman/main.tex
index 2a6adce6..dfe55fc8 100644
--- a/doc/userman/main.tex
+++ b/doc/userman/main.tex
@@ -1,5 +1,4 @@
\documentclass[web]{frama-c-book}
-
\usepackage{graphicx}
\usepackage{calc}
\usepackage{datetime}
--
GitLab