From a86210328ffa5aed69546e4c64ce02520bf2bf13 Mon Sep 17 00:00:00 2001 From: notin Date: Tue, 13 Jun 2006 14:22:19 +0000 Subject: Changement du index.html généré dans refman git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8953 85f007b7-540e-0410-9357-904b9bb8a0f7 --- doc/Makefile | 2 +- doc/refman/cover.html | 3 ++- doc/refman/index.html | 31 ++++++++----------------------- doc/refman/menu.html | 29 +++++++++++++++++++++++++++++ 4 files changed, 40 insertions(+), 25 deletions(-) create mode 100644 doc/refman/menu.html diff --git a/doc/Makefile b/doc/Makefile index fd508e070c..5ae239006c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -161,7 +161,7 @@ refman/html/index.html: refman/Reference-Manual.html $(REFMANPNGFILES) \ mkdir refman/html cp $(REFMANPNGFILES) refman/html (cd refman/html; hacha -o toc.html ../Reference-Manual.html) - cp refman/cover.html refman/html + cp refman/cover.html refman/menu.html refman/html cp refman/index.html refman/html ###################################################################### diff --git a/doc/refman/cover.html b/doc/refman/cover.html index 1d2700b1cc..a3ec25166b 100644 --- a/doc/refman/cover.html +++ b/doc/refman/cover.html @@ -13,7 +13,7 @@ The Coq Proof Assistant
Reference Manual
-


Version 8.0 +


Version 8.1 1





The Coq Development Team
LogiCal Project



@@ -22,6 +22,7 @@ The Coq Proof Assistant
V7.x © INRIA 1999-2004
V8.0 © INRIA 2004-2006
+V8.1 © INRIA 2006
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/refman/index.html b/doc/refman/index.html index db19678f3c..9b5250abcb 100644 --- a/doc/refman/index.html +++ b/doc/refman/index.html @@ -1,29 +1,14 @@ - + -
+The Coq Proof Assistant Reference Manual - - - - - - - - - -
Cover page
Table of contents
-Bibliography
-Global Index -
-Tactics Index -
-Vernacular Commands Index -
-Index of Error Messages -
+ -
+ + + + - \ No newline at end of file + \ No newline at end of file diff --git a/doc/refman/menu.html b/doc/refman/menu.html new file mode 100644 index 0000000000..db19678f3c --- /dev/null +++ b/doc/refman/menu.html @@ -0,0 +1,29 @@ + + + + +
+ + + + + + + + + + +
Cover page
Table of contents
+Bibliography
+Global Index +
+Tactics Index +
+Vernacular Commands Index +
+Index of Error Messages +
+ +
+ + \ No newline at end of file -- cgit v1.2.3