diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-07-08 11:11:50 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-07-08 11:11:50 +0200 |
commit | 002606c190a69e02f3d8b722eb64bae02e457f98 (patch) | |
tree | f4f9831c6e5985b6b5d84cb94df803e9017a1d6e /tools/coq_tex.ml | |
parent | c075edff6e7bd7295bcbc859b01dbcf787457e0e (diff) |
Fix command-line documentation of coq-tex.
Diffstat (limited to 'tools/coq_tex.ml')
-rw-r--r-- | tools/coq_tex.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml index a2cc8384c..7f2fe741e 100644 --- a/tools/coq_tex.ml +++ b/tools/coq_tex.ml @@ -249,7 +249,7 @@ let files = ref [] let parse_cl () = Arg.parse [ "-o", Arg.String (fun s -> output_specified := true; output := s), - "output-file Specifiy the resulting LaTeX file"; + "output-file Specify the resulting LaTeX file"; "-n", Arg.Int (fun n -> linelen := n), "line-width Set the line width"; "-image", Arg.String (fun s -> image := s), @@ -265,7 +265,7 @@ let parse_cl () = "-small", Arg.Set small, " Coq parts are written in small font"; "-boot", Arg.Set boot, - " Launch coqtop with the -boot option" + " Launch coqtop with the -boot option" ] (fun s -> files := s :: !files) "coq-tex [options] file ..." @@ -290,7 +290,7 @@ let main () = let _ = Sys.command (!image ^ " -batch") in exit 1 end else begin - Printf.printf "Your version of coqtop seems OK\n"; + (*Printf.printf "Your version of coqtop seems OK\n";*) flush stdout end; List.iter one_file (List.rev !files) |