2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
16 module R = Helm_registry
18 module B = NCicLibrary
19 module C = NCicTypeChecker
26 let help_O = "<dir> Set this output directory"
27 let help_X = " Clear configuration and options"
31 (* internal functions *******************************************************)
39 if !G.no_init then begin
42 H.set_log_callback no_log;
47 F.check_suffix s ".conf.xml"
50 failwith "MaTeX: registry not initialized"
53 failwith ("MaTeX: malformed argument: " ^ s)
56 if is_registry s then init s
57 else if !G.no_init then no_init ()
58 else if L.is_uri s then E.process (U.uri_of_string s)
63 "-O", A.String ((:=) G.out_dir), help_O;
64 "-X", A.Unit G.clear, help_X;