From 98af1982684a02f9521d28594e0fa01ac3275083 Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 28 Mar 2006 17:34:15 +0000
Subject: - correction d'un bug dans coqdoc (multi_index) - modif. de la
génération de la doc de stdlib
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8669 85f007b7-540e-0410-9357-904b9bb8a0f7
---
doc/stdlib/index-list.html.template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'doc/stdlib')
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index e86430e389..cbb8580d33 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -1,7 +1,7 @@
-
+
The Coq Standard Library
</head>
--
cgit v1.2.3