From 97fefe1fcca363a1317e066e7f4b99b9c1e9987b Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 12 Jan 2012 16:02:20 +0100
Subject: Imported Upstream version 8.4~beta

---
 doc/common/styles/html/coqremote/footer.html | 43 ----------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 doc/common/styles/html/coqremote/footer.html

(limited to 'doc/common/styles/html/coqremote/footer.html')

diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html
deleted file mode 100644
index 2b4e0de0..00000000
--- a/doc/common/styles/html/coqremote/footer.html
+++ /dev/null
@@ -1,43 +0,0 @@
-<div id="sidebarWrapper">
-<div id="sidebar">
-
-<div class="block">
-<h2 class="title">Navigation</h2>
-<div class="content">
-
-<ul class="menu">
-
-<li class="leaf">Standard Library
-  <ul class="menu">
-  <li><a href="index.html">Table of contents</a></li>
-  <li><a href="genindex.html">Index</a></li>
-  </ul>
-</li>
-
-</ul>
-
-</div>
-</div>
-
-</div>
-</div>
-
-
-</div>
-
-<div id="footer">
-<div id="nav-footer">
-  <ul class="links-menu-footer">
-    <li><a href="mailto:www-coq_@_lix.polytechnique.fr">webmaster</a></li>
-    <li><a href="http://validator.w3.org/check?uri=referer">xhtml valid</a></li>
-    <li><a href="http://jigsaw.w3.org/css-validator/check/referer">CSS valid</a></li>
-  </ul>
-
-</div>
-</div>
-
-</div>
-
-</body>
-</html>
-
-- 
cgit v1.2.3