diff options
Diffstat (limited to 'toplevel/usage.ml')
| -rw-r--r-- | toplevel/usage.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/usage.ml b/toplevel/usage.ml index 93ef0b201..512632316 100644 --- a/toplevel/usage.ml +++ b/toplevel/usage.ml @@ -92,7 +92,6 @@ let print_usage_coqc () = let print_config () = if Coq_config.local then Printf.printf "LOCAL=1\n" else Printf.printf "LOCAL=0\n"; Printf.printf "COQLIB=%s/\n" (Envars.coqlib ()); - (*Printf.printf "COQSRC=%s/\n" Coq_config.coqsrc;*) Printf.printf "DOCDIR=%s/\n" (Envars.docdir ()); Printf.printf "OCAMLDEP=%s\n" Coq_config.ocamldep; Printf.printf "OCAMLC=%s\n" Coq_config.ocamlc; |