Commit eef65842 authored by MARCHE Claude's avatar MARCHE Claude

fix option bug in why3session latex

parent 2269505c
......@@ -30,12 +30,12 @@ let opt_output_dir = ref ""
let opt_longtable = ref false
let spec =
("-style <n>",
("-style",
Arg.Set_int opt_style,
" sets output style (1 or 2, default 1)") ::
("-o <path>",
"<n> sets output style (1 or 2, default 1)") ::
("-o",
Arg.Set_string opt_output_dir,
" where to produce LaTeX files (default: session dir)") ::
" <path> where to produce LaTeX files (default: session dir)") ::
("-longtable",
Arg.Set opt_longtable,
" produce tables using longtable package instead of tabular") ::
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment