r8620@thot: notin | 2006-03-08 11:44:16 +0100

 Modifications diverses de Coqdoc:
   - modification du comportement par défaut de l'option --latex
   - ajout d'une option --stdout
   - réaménagement dans les sources (création de global.ml)
   - modification du parser de coqdoc pour regler les problèmes liés à 
     la syntaxe V8.
   - Correction du bug #1052 sur les commentaires en fin de ligne
 


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

1 files changed, 1 insertions, 27 deletions

diff --git a/tools/coqdoc/output.mli b/tools/coqdoc/output.mli
index dd38dd68f..f80dca322 100644
--- a/tools/coqdoc/output.mli
+++ b/tools/coqdoc/output.mli
@@ -8,33 +8,9 @@
 
 (*i $Id$ i*)
 
+open Cdglobals
 open Index
 
-type target_language = LaTeX | HTML | TeXmacs
-
-val target_language : target_language ref
-
-val set_out_file : string -> unit
-val output_dir : string ref
-val close : unit -> unit
-
-val quiet : bool ref
-val short : bool ref
-val light : bool ref
-val header_trailer : bool ref
-val index : bool ref
-val multi_index : bool ref
-val toc : bool ref
-val title : string ref
-val externals : bool ref
-val coqlib : string ref
-val raw_comments : bool ref
-
-val charset : string ref
-val inputenc : string ref
-val set_latin1 : unit -> unit
-val set_utf8 : unit -> unit
-
 val add_printing_token : string -> string option * string option -> unit
 val remove_printing_token : string -> unit
 
@@ -45,8 +21,6 @@ val trailer : unit -> unit
 
 val push_in_preamble : string -> unit
 
-val dump_file : string -> unit
-
 val start_module : unit -> unit
 
 val start_doc : unit -> unit