From 002606c190a69e02f3d8b722eb64bae02e457f98 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 8 Jul 2015 11:11:50 +0200
Subject: Fix command-line documentation of coq-tex.

---
 tools/coq_tex.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml
index a2cc8384c6..7f2fe741e9 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)
-- 
cgit v1.2.3