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, 3 insertions, 3 deletions

diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty
index fca9a1d76..32e635240 100644
--- a/tools/coqdoc/coqdoc.sty
+++ b/tools/coqdoc/coqdoc.sty
@@ -103,14 +103,14 @@
   \newcommand{\coqdef}[3]{\phantomsection\hypertarget{coq:#1}{#3}}
   \newcommand{\coqref}[2]{\hyperlink{coq:#1}{#2}}
   \newcommand{\identref}[2]{\hyperlink{coq:#1}{\textsf {#2}}}
-  \newcommand{\coqlibrary}[2]{\cleardoublepage\phantomsection
-    \hypertarget{coq:#1}{\chapter{Library \texorpdfstring{\coqdoccst}{}{#2}}}}
+  \newcommand{\coqlibrary}[3]{\cleardoublepage\phantomsection
+    \hypertarget{coq:#1}{\chapter{#2\texorpdfstring{\coqdoccst}{}{#3}}}}
 \else
   \newcommand{\coqdef}[3]{#3}
   \newcommand{\coqref}[2]{#2}
   \newcommand{\texorpdfstring}[2]{#1}
   \newcommand{\identref}[2]{\textsf{#2}}
-  \newcommand{\coqlibrary}[2]{\cleardoublepage\chapter{Library \coqdoccst{#2}}}
+  \newcommand{\coqlibrary}[2]{\cleardoublepage\chapter{#2\coqdoccst{#3}}}
 \fi
 \usepackage{xr}