From a66ceb3af4332b546e051482f2d7dc5778c5d063 Mon Sep 17 00:00:00 2001 From: notin Date: Wed, 23 Jun 2010 09:21:30 +0000 Subject: Ajout d'une feuille de style pour les définitions spécifiques à Hevea + divers corrections sur la génération du manuel de référence. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13186 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 3 +-- doc/common/styles/html/coqremote/cover.html | 2 +- doc/common/styles/html/coqremote/hevea.css | 36 +++++++++++++++++++++++++++++ doc/common/styles/html/coqremote/styles.hva | 3 ++- doc/common/styles/html/simple/hevea.css | 36 +++++++++++++++++++++++++++++ doc/common/styles/html/simple/styles.hva | 1 + 6 files changed, 77 insertions(+), 4 deletions(-) create mode 100644 doc/common/styles/html/coqremote/hevea.css create mode 100644 doc/common/styles/html/simple/hevea.css diff --git a/Makefile b/Makefile index 0214c5ff34..553ab0f350 100644 --- a/Makefile +++ b/Makefile @@ -186,11 +186,10 @@ docclean: doc/stdlib/library.files.ls rm -f doc/*/*.ps doc/*/*.pdf rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html - rm -f doc/stdlib/html/*.html rm -f doc/refman/euclid.ml doc/refman/euclid.mli rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli rm -f doc/common/version.tex - rm -f doc/refman/*.eps doc/refman/Reference-Manual.html + rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/*.eps doc/refman/Reference-Manual.html rm -f doc/coq.tex archclean: clean-ide optclean voclean diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index cf4e818145..f4809a487d 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -94,7 +94,7 @@