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/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 +++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 doc/common/styles/html/simple/footer.html create mode 100644 doc/common/styles/html/simple/header.html (limited to 'doc/common/styles/html/simple') 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 + + + + -- cgit v1.2.3