From c04159843794f2b1615f033a3ba540fd0bf7f5ea Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 5 Dec 2014 16:11:26 +0100
Subject: doc: improved xhtml compatibility (cover, header,...)
---
doc/common/styles/html/simple/cover.html | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
(limited to 'doc/common/styles/html/simple/cover.html')
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index 7cc20f5824..d34ddd33ae 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -4,11 +4,11 @@
-
+
Reference Manual | The Coq Proof Assistant
-
-
+
+
--
cgit v1.2.3