From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 8 Aug 2008 13:18:42 +0200 Subject: Imported Upstream version 8.2~beta4+dfsg --- toplevel/usage.ml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'toplevel/usage.ml') diff --git a/toplevel/usage.ml b/toplevel/usage.ml index 782fdc80..b0b0f826 100644 --- a/toplevel/usage.ml +++ b/toplevel/usage.ml @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id: usage.ml 8932 2006-06-09 09:29:03Z notin $ *) +(* $Id: usage.ml 11209 2008-07-05 10:17:49Z herbelin $ *) let version () = Printf.printf "The Coq Proof Assistant, version %s (%s)\n" @@ -20,10 +20,14 @@ let print_usage_channel co command = output_string co command; output_string co "Coq options are:\n"; output_string co -" -I dir add directory dir in the include path +" -I dir -as coqdir map physical dir to logical coqdir + -I dir map directory dir to the empty logical path -include dir (idem) - -R dir coqdir recursively map physical dir to logical coqdir + -R dir -as coqdir recursively map physical dir to logical coqdir + -R dir coqdir (idem) -top coqdir set the toplevel name to be coqdir instead of Top + -notop r set the toplevel name to be the empty logical path + -exclude-dir f exclude subdirectories named f for option -R -inputstate f read state from file f.coq -is f (idem) -- cgit v1.2.3