From eda6746dd51a6bd96ba22c44fbefcd3caa04e876 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 16 Jun 2022 20:58:00 +0200
Subject: [PATCH] fix encoding (iso-8859-1 -> utf-8)
---
doc/makeLatex | 50 ++++++++++++++--------------
doc/training/developer/macros.tex | 2 +-
src/plugins/wp/doc/coqdoc/coqdoc.sty | 2 +-
3 files changed, 27 insertions(+), 27 deletions(-)
diff --git a/doc/makeLatex b/doc/makeLatex
index c0414b80e35..abcd85df97c 100644
--- a/doc/makeLatex
+++ b/doc/makeLatex
@@ -1,22 +1,22 @@
-# Fichier à inclure dans son makefile pour faire des compilation latex.
-# L'utilisateur doit définir certaines variables (notées +)
-# et peut en option en (re)définir d'autres (notées *) :
+# Fichier à inclure dans son makefile pour faire des compilation latex.
+# L'utilisateur doit définir certaines variables (notées +)
+# et peut en option en (re)définir d'autres (notées *) :
#
-# === outils (peuvent être redéfinis si on veut préciser le path par exemple) :
+# === outils (peuvent être redéfinis si on veut préciser le path par exemple) :
# TEXI (= texi2dvi)
# HEVEA (HEVEAOPTS), HACHA
# === fichiers :
-# * TOPTEX=top.tex : déterminé par défaut par un grep de documentclass
-# * GENERATED_TEX= : fichiers .tex générés (vide par défaut)
+# * TOPTEX=top.tex : déterminé par défaut par un grep de documentclass
+# * GENERATED_TEX= : fichiers .tex générés (vide par défaut)
#
# * FIGURES_TODO= : noms de figures sans extension (-> .eps + .pdf)
# (suppose qu'on a le .eps et le .pdf
# ou qu'on sait a une cible pour les fabriquer...)
#
-# * HVA=macros.hva : si on a besoin de définir des choses pour hevea
+# * HVA=macros.hva : si on a besoin de définir des choses pour hevea
#
-# Les figures (fichiers .fig) sont compilés en postscript et/ou en pdf
+# Les figures (fichiers .fig) sont compilés en postscript et/ou en pdf
# en fonction des besoins. Si on souhaite compiler une figure en latex
# (formules, etc) il faut simplement nommer le fichier *.tex.fig
#
@@ -25,14 +25,14 @@
# debug_latex,
# clean_latex, clean_hevea, clean
#
-# loop : lance gv sur TOPTEX.ps et une boucle de compilation qui met à jour
-# le contenu visualisé.
-# Il est conseillé d'utiliser plutôt la cible 'sloop' pour ne pas avoir
-# un écran qui défile en permanence.
+# loop : lance gv sur TOPTEX.ps et une boucle de compilation qui met à jour
+# le contenu visualisé.
+# Il est conseillé d'utiliser plutôt la cible 'sloop' pour ne pas avoir
+# un écran qui défile en permanence.
#------------------------------------------------------------------------------
-# l'avantage de texi2dvi par rapport à latex,
+# l'avantage de texi2dvi par rapport à latex,
# c'est qu'il s'occupe de l'index, de la biblio,
# et de lancer latex autant de fois qu'il le faut.
TEXI?=texi2dvi
@@ -73,13 +73,13 @@ FIGURES_EPS = $(SIMPLE_FIGURES_EPS) $(FIGURES_PSTEX)
FIGURES_PDF = $(SIMPLE_FIGURES_PDF) $(FIGURES_PDFTEX)
GENERATED_FIGURES = $(FIGURES_EPS) $(FIGURES_PDF) $(FIGURES_TEX)
-# plus utile : hevea se débrouille tout seul.
+# plus utile : hevea se débrouille tout seul.
#IMAGES_GIF = $(shell grep -s gif $(SRC).html | grep "^[ ]*<IMG" | sed -e 's=[^"]*"\(.*.gif\).*=\1=')
-# TODO : à étendre au cas d'une biblio multiple (plusieurs fichiers .bib).
+# TODO : à étendre au cas d'une biblio multiple (plusieurs fichiers .bib).
BIB_NAME = $(shell grep -h "bibliography{" $(TOPTEX) \
| sed -e 's/\\bibliography{\(.*\)}/\1.bib/')
-# TODO: à modifier pour chercher dans BIBINPUTS
+# TODO: Ã modifier pour chercher dans BIBINPUTS
ifneq ($(strip $(BIB_NAME)),)
BIB_FILE = $(BIB_NAME)
@@ -115,7 +115,7 @@ debug_latex :
@echo "HVA = $(HVA)"
#------------------------------------------------------------------------------
-# Dépendances :
+# Dépendances :
$(SRC).dvi : $(ALL_TEX) $(FIGURES_TEX) $(FIGURES_EPS) $(BBL_FILE) $(FIGURES_PDF)
# no <TAB> here
@@ -129,7 +129,7 @@ $(SRC).html : $(ALL_TEX) $(SRC).pdf $(SRC).bbl
#------------------------------------------------------------------------------
# Regles de production :
-# dessins .eps à partir des .fig de xfig
+# dessins .eps à partir des .fig de xfig
%.eps : %.tex.fig
fig2dev -L pstex $< $@
@@ -160,7 +160,7 @@ $(SRC).html : $(ALL_TEX) $(SRC).pdf $(SRC).bbl
$(TEXI2DVI) $<
$(SRC).bbl : $(BIB_FILE)
- @echo "=== Fichier .bib plus récent -> effacement du .bbl"
+ @echo "=== Fichier .bib plus récent -> effacement du .bbl"
rm -f $(SRC).bbl
@@ -193,9 +193,9 @@ $(SRC).html: $(HVA) $(SRC).tex
index.html: $(SRC).html
$(HACHA) -o index.html $(SRC).html
-# ceci n'est normalement plus utile sous UNIX grace à l'option -fix de hevea
+# ceci n'est normalement plus utile sous UNIX grace à l'option -fix de hevea
#$(IMAGES_GIF) : $(SRC).image.tex
- #@echo "=== Génération des images gif"
+ #@echo "=== Génération des images gif"
#imagen $(SRC)
#------------------------------------------------------------------------------
@@ -228,14 +228,14 @@ sloop:
#------------------------------------------------------------------------------
clean_hevea :
- @echo "=== Ménage des fichiers hevea"
+ @echo "=== Ménage des fichiers hevea"
rm -f $(SRC).html $(SRC).h{toc,aux,ind,idx} $(SRC).cb
rm -f index.html $(SRC)[0-9][0-9][0-9].html $(SRC).css
rm -f $(SRC).image.cb $(SRC).image.tex $(SRC)[0-9][0-9][0-9].gif
rm -f previous_motif.gif next_motif.gif contents_motif.gif
clean_tmp_tex :
- @echo "=== Ménage des fichiers temporaires de latex"
+ @echo "=== Ménage des fichiers temporaires de latex"
rm -f $(SRC).aux
rm -f $(SRC).log
rm -f $(SRC).blg
@@ -249,12 +249,12 @@ clean_tmp_tex :
rm -f $(SRC).out
clean_latex : clean_tmp_tex
- @echo "=== Ménage des fichiers latex"
+ @echo "=== Ménage des fichiers latex"
rm -f $(SRC).bbl
rm -f $(SRC).dvi
rm -f $(SRC).ps
rm -f $(SRC).pdf
- @echo "=== Ménage des figures"
+ @echo "=== Ménage des figures"
rm -f *.~[0-9]*~ *.bak *~
rm -f $(GENERATED_FIGURES)
diff --git a/doc/training/developer/macros.tex b/doc/training/developer/macros.tex
index 752a31d04f6..3fa1075aa12 100644
--- a/doc/training/developer/macros.tex
+++ b/doc/training/developer/macros.tex
@@ -40,7 +40,7 @@ literate=%
{'a}{$\alpha$}1%
{'b}{$\beta$}1%
{'c}{$\gamma$}1%
-{µ}{`{}}1%
+{µ}{`{}}1%
}
\newcommand{\framac}{\textsl{Frama-C}\xspace}
diff --git a/src/plugins/wp/doc/coqdoc/coqdoc.sty b/src/plugins/wp/doc/coqdoc/coqdoc.sty
index 9de9a38ff9a..f49f9f0066a 100644
--- a/src/plugins/wp/doc/coqdoc/coqdoc.sty
+++ b/src/plugins/wp/doc/coqdoc/coqdoc.sty
@@ -1,5 +1,5 @@
-% This is coqdoc.sty, by Jean-Christophe Filliâtre
+% This is coqdoc.sty, by Jean-Christophe Filliâtre
% This LaTeX package is used by coqdoc (http://www.lri.fr/~filliatr/coqdoc)
%
% You can modify the following macros to customize the appearance
--
GitLab