From 234f5479773d43a48e67c5c0ea361445c7fb6782 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 22 Jul 2018 18:19:26 -0400 Subject: Correct some spelling errors Lintian found some spelling errors in the Debian packaging for coq. Fix them most places they appear in the current source. (Don't change documentation anchor names, as that would invalidate external deeplinks.) This also fixes a bug in coqdoc: prior to this commit, coqdoc would highlight `instanciate` but not `instantiate`. --- tools/coqworkmgr.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/coqworkmgr.ml') diff --git a/tools/coqworkmgr.ml b/tools/coqworkmgr.ml index 68aadcfcc..bfea141bb 100644 --- a/tools/coqworkmgr.ml +++ b/tools/coqworkmgr.ml @@ -169,7 +169,7 @@ let main () = "-j",Arg.Set_int max_tokens, "max number of concurrent jobs"; "-d",Arg.Set debug, "do not detach (debug)"] in let usage = - "Prints on stdout an env variable assignement to be picked up by coq\n"^ + "Prints on stdout an env variable assignment to be picked up by coq\n"^ "instances in order to limit the maximum number of concurrent workers.\n"^ "The default value is 2.\n"^ "Usage:" in -- cgit v1.2.3