From 9c24cecec3a7381cd924c56ca50c77a49750e2e5 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Tue, 9 Dec 2014 12:00:10 +0100
Subject: refman: switch all source files to utf8

 Putting utf8 everywhere helps the maintainance of the online refman.
 And anyway, this is the way to go. We should also chase and migrate
 the few remaining iso-latin-1 files elsewhere in the sources.
---
 doc/common/styles/html/coqremote/styles.hva | 2 +-
 doc/common/styles/html/simple/styles.hva    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/common')

diff --git a/doc/common/styles/html/coqremote/styles.hva b/doc/common/styles/html/coqremote/styles.hva
index 413f3bf62..94fb0d38b 100644
--- a/doc/common/styles/html/coqremote/styles.hva
+++ b/doc/common/styles/html/coqremote/styles.hva
@@ -1,6 +1,6 @@
 \renewcommand{\@meta}{
 \begin{rawhtml}
-<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" />
 <link type="text/css" rel="stylesheet" media="all" href="/modules/node/node.css" />
 <link type="text/css" rel="stylesheet" media="all" href="/modules/system/defaults.css" />
diff --git a/doc/common/styles/html/simple/styles.hva b/doc/common/styles/html/simple/styles.hva
index 64cf21067..71c4ffedf 100644
--- a/doc/common/styles/html/simple/styles.hva
+++ b/doc/common/styles/html/simple/styles.hva
@@ -1,6 +1,6 @@
 \renewcommand{\@meta}{
 \begin{rawhtml}
-<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 
 <link rel="stylesheet" type="text/css" href="style.css" />
 <link rel="stylesheet" type="text/css" href="coqdoc.css" />
-- 
cgit v1.2.3