File: parse_opts.mli

package info (click to toggle)
hevea 1.05.2002.02.15%2Bpng-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 1,488 kB
  • ctags: 2,030
  • sloc: ml: 16,852; sh: 182; makefile: 144
file content (34 lines) | stat: -rw-r--r-- 1,288 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet PARA, INRIA Rocquencourt                      *)
(*                                                                     *)
(*  Copyright 1998 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

type input = File of string | Prog of string

val symbols : bool ref
val iso : bool ref
type language = Francais | English
val language : language  ref
type destination = Html | Text | Info
val destination : destination ref
val mathml : bool ref
val entities : bool ref
val pedantic : bool ref
val fixpoint : bool ref
val optimize : bool ref
val width : int ref
val except : string list ref
val path : string list ref

val filter : bool
val styles : input list
val base_in : string
val name_in : string
val base_out : string
val name_out : string