4 files changed, 4 insertions, 18 deletions
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index b377396d..75b938f9 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -25,7 +25,7 @@
 <h1 style="font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1>
 
 <h2 style="font-size: 120%">
-  Version 8.3<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a></h2>
+  Version 8.2<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a></h2>
 
 <br/><br/><br/><br/><br/><br/>
 <p><span style="text-align: center; font-size: 120%; ">The Coq Development Team</span></p>
@@ -35,7 +35,9 @@
 <div style="text-align: left; font-size: 80%; text-indent: 0pt">
 <ul style="list-style: none; margin-left: 0pt">
   <li>V7.x © INRIA 1999-2004</li>
-  <li>V8.x © INRIA 2004-2010</li>
+  <li>V8.0 © INRIA 2004-2006</li>
+  <li>V8.1 © INRIA 2006-2008</li>
+  <li>V8.2 © INRIA 2008-2009</li>
 </ul>
 
 <p style="text-indent: 0pt">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 <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html
deleted file mode 100644
index 308b1d01..00000000
--- a/doc/common/styles/html/simple/footer.html
+++ /dev/null
@@ -1,2 +0,0 @@
-</body>
-</html>
diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html
deleted file mode 100644
index 14d2f988..00000000
--- a/doc/common/styles/html/simple/header.html
+++ /dev/null
@@ -1,13 +0,0 @@
-<!DOCTYPE html 
-     PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"/>
-<link rel="stylesheet" href="coqdoc.css" type="text/css"/>
-<title>The Coq Standard Library</title>
-</head>
-
-<body>
-
diff --git a/doc/common/styles/html/simple/styles.hva b/doc/common/styles/html/simple/styles.hva
index a2d46f3e..76935cb1 100644
--- a/doc/common/styles/html/simple/styles.hva
+++ b/doc/common/styles/html/simple/styles.hva
@@ -1,7 +1,6 @@
 \renewcommand{\@meta}{
 \begin{rawhtml}
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
-<title>Reference Manual | The Coq Proof Assistant</title>
 
 <link rel="stylesheet" type="text/css" href="style.css">
 <link rel="stylesheet" type="text/css" href="coqdoc.css">