From 6f47b089934c10c38a5dfb126b5ae62ec9c305a0 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Fri, 5 Dec 2014 10:07:02 +0100 Subject: doc/stdlib: fix the html charset in header.html and co --- doc/common/styles/html/coqremote/cover.html | 14 +++++++------- doc/common/styles/html/coqremote/header.html | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) (limited to 'doc/common/styles/html/coqremote') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index 7908063117..ac7d81d4e2 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -3,7 +3,7 @@ - + @@ -56,12 +56,12 @@

This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub). Options A and B are not elected.

diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html index 5c1a9ea362..a46ccb88f0 100644 --- a/doc/common/styles/html/coqremote/header.html +++ b/doc/common/styles/html/coqremote/header.html @@ -2,7 +2,7 @@ - + -- cgit v1.2.3