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/stdlib/index-list.html.template | 14 +------------- doc/stdlib/index-trailer.html | 2 -- 2 files changed, 1 insertion(+), 15 deletions(-) delete mode 100644 doc/stdlib/index-trailer.html (limited to 'doc/stdlib') diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 75b5e7fea..9873dd071 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

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 308b1d01b..000000000 --- a/doc/stdlib/index-trailer.html +++ /dev/null @@ -1,2 +0,0 @@ - - -- cgit v1.2.3