Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,

M. Greenberg) and add support for interpolation to HTML output. The
patch is mostly backwards-compatible, except for the CSS style which
needs more readaptation. Doc for the new options will come as well.
 
- lists have been updated substantially.  In particular,
 multiparagraph list items are now supported and sublists work
 better, using an "off-side" rule.

- the "--index" flag allows one to change the name of the generated
 index file (good since index.html has a special meaning).

- the "--toc-depth <int>" flag allows one to limit how many levels are
 included in the toc.

- the "--lib-name <string>" flag allows one to specify what libraries
 are called, instead of just sticking "Library" before each module
 name (for example, "Module" or "Chapter" might be more sensible in
 some contexts).  Additionally "--no-lib-name" eliminates this extra
 title completely.

- the "--lib-subtitles" flag allows one to specify subtitles for
 libraries.  When enabled, the beginning of each file is checked
 for a comment of the form:

(** * ModuleName : text *)

 and the text will be printed as a subtitle in the appropriate
 places.

- Text can be made italic by putting it inside underscores, as in:
 _emphasized text_.  This has the advantage of looking OK in the
 .v file as well.  A few simple rules are followed to make sure
 identifiers with underscores aren't accidentally made italic.

- Various changes have been made in an attempt to beautify the output,
 especially in html, while allowing the .v sources to look decent as
 well.  Mostly these involve whitespace.

- The coqdoc.css file has been changed.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12308 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 1 deletions

diff --git a/tools/coqdoc/cdglobals.ml b/tools/coqdoc/cdglobals.ml
index 7e074802d..2ee90820f 100644
--- a/tools/coqdoc/cdglobals.ml
+++ b/tools/coqdoc/cdglobals.ml
@@ -50,6 +50,7 @@ let gallina = ref false
 let short = ref false
 let index = ref true
 let multi_index = ref false
+let index_name = ref "index"
 let toc = ref false
 let page_title = ref ""
 let title = ref ""
@@ -59,6 +60,9 @@ let coqlib_path = ref Coq_config.coqlib
 let raw_comments = ref false
 let parse_comments = ref false
 let plain_comments = ref false
+let toc_depth = (ref None : int option ref)
+let lib_name = ref "Library"
+let lib_subtitles = ref false
 let interpolate = ref false
 
 let charset = ref "iso-8859-1"
@@ -83,4 +87,3 @@ type coq_module = string
 type file =
   | Vernac_file of string * coq_module
   | Latex_file of string
-