diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:00:10 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:41 +0100 |
| commit | 9c24cecec3a7381cd924c56ca50c77a49750e2e5 (patch) | |
| tree | 52eee33926e6791b4d2ac23c04f48404057899b4 /doc/common | |
| parent | 56302f63809494946adf4e805bc61d55ed9d6f14 (diff) | |
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.
Diffstat (limited to 'doc/common')
| -rw-r--r-- | doc/common/styles/html/coqremote/styles.hva | 2 | ||||
| -rw-r--r-- | doc/common/styles/html/simple/styles.hva | 2 |
2 files changed, 2 insertions, 2 deletions
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" /> |