1
(************************************************************************)
2
(* v * The Coq Proof Assistant / The Coq Development Team *)
3
(* <O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud *)
4
(* \VV/ **************************************************************)
5
(* // * This file is distributed under the terms of the *)
6
(* * GNU Lesser General Public License Version 2.1 *)
7
(************************************************************************)
13
type target_language = LaTeX | HTML | TeXmacs | Raw
15
let target_language = ref HTML
22
let output_dir = ref ""
24
let out_to = ref MultFiles
26
let out_channel = ref stdout
29
let f = if !output_dir <> "" && Filename.is_relative f then Filename.concat !output_dir f else f in
30
out_channel := open_out f
32
let close_out_file () = close_out !out_channel
40
let glob_source = ref DotGlob
42
let header_trailer = ref true
43
let header_file = ref ""
44
let header_file_spec = ref false
45
let footer_file = ref ""
46
let footer_file_spec = ref false
49
let gallina = ref false
52
let multi_index = ref false
54
let page_title = ref ""
56
let externals = ref true
57
let coqlib = ref Coq_config.wwwstdlib
58
let coqlib_path = ref Coq_config.coqlib
59
let raw_comments = ref false
60
let parse_comments = ref false
61
let interpolate = ref false
63
let charset = ref "iso-8859-1"
65
let latin1 = ref false
69
charset := "iso-8859-1";
80
type coq_module = string
83
| Vernac_file of string * coq_module
84
| Latex_file of string