From f8cb1942284979bc7c325f2137fad1293380d855 Mon Sep 17 00:00:00 2001 From: notin Date: Fri, 13 Jan 2012 17:21:21 +0000 Subject: Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentation) This commit r14895 comes apparently itself from commit r12010 in branch v8.2 --- doc/common/styles/html/coqremote/footer.html | 45 +++++++++++++++++++++++++ doc/common/styles/html/coqremote/header.html | 49 ++++++++++++++++++++++++++++ doc/common/styles/html/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 ++++++++ doc/stdlib/index-list.html.template | 14 +------- doc/stdlib/index-trailer.html | 2 -- 6 files changed, 110 insertions(+), 15 deletions(-) create mode 100644 doc/common/styles/html/coqremote/footer.html create mode 100644 doc/common/styles/html/coqremote/header.html create mode 100644 doc/common/styles/html/simple/footer.html create mode 100644 doc/common/styles/html/simple/header.html delete mode 100644 doc/stdlib/index-trailer.html (limited to 'doc') diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html new file mode 100644 index 0000000000..138c30253f --- /dev/null +++ b/doc/common/styles/html/coqremote/footer.html @@ -0,0 +1,45 @@ +
+ +
+ + + + + + + + + + + + + diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html new file mode 100644 index 0000000000..afcdbe73af --- /dev/null +++ b/doc/common/styles/html/coqremote/header.html @@ -0,0 +1,49 @@ + + + + + +Standard Library | The Coq Proof Assistant + + + + + + + + + + + + + + + +
+
+ +
+ + + +
+ diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html new file mode 100644 index 0000000000..308b1d01b6 --- /dev/null +++ b/doc/common/styles/html/simple/footer.html @@ -0,0 +1,2 @@ + + diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html new file mode 100644 index 0000000000..14d2f98888 --- /dev/null +++ b/doc/common/styles/html/simple/header.html @@ -0,0 +1,13 @@ + + + + + + +The Coq Standard Library + + + + diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 75b5e7fea7..9873dd071b 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,17 +1,5 @@ - - - - - -The Coq Standard Library - - - - -

The Coq Standard Library

+

The Coq Standard Library

Here is a short description of the Coq standard library, which is distributed with the system. diff --git a/doc/stdlib/index-trailer.html b/doc/stdlib/index-trailer.html deleted file mode 100644 index 308b1d01b6..0000000000 --- a/doc/stdlib/index-trailer.html +++ /dev/null @@ -1,2 +0,0 @@ - - -- cgit v1.2.3