Docs fix

main.mli

@@ -1,9 +1,8 @@
 (** Main module, parses command-line arguments and cycles through phases. *)
 (** Command-line arguments are first parsed and the result saved them in
-    {!Globals.args}. Then all phases are executed successively. Run
-    [./civicc -help] in a terminal to see the available command-line options.
-    Exceptions defined in {!Types} are caught and error messages printed
-    accordingly. *)
+    {!Globals.args}. Then all phases are executed successively. Run [./civcc -h]
+    in a terminal to see the available command-line options.  Exceptions defined
+    in {!Types} are caught and error messages printed accordingly. *)
 
 (** Main function of a phase. Each phase exports a function of this signature
     that is called by the main module. *)