[m-dev.] for review: `--no-line-numbers' => `-n-'

[Fergus Henderson]

The `--no-line-numbers' option is one that I use quite regularly.
But it's quite long.  Any objections to the following change?

----------

Estimated hours taken: 0.25

compiler/options.m:
doc/user_guide.texi:
	Allow `-n-' as a synonym for `--no-line-numbers'.
	
Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.308
diff -u -d -r1.308 options.m
--- compiler/options.m	2001/02/05 06:55:33	1.308
+++ compiler/options.m	2001/02/08 09:00:43
@@ -834,6 +836,7 @@
 short_option('l', 			link_libraries).
 short_option('L', 			link_library_directories).
 short_option('M', 			generate_dependencies).
+short_option('n', 			line_numbers).
 short_option('N', 			debug_modes).
 short_option('o', 			output_file_name).
 short_option('O', 			opt_level).
@@ -1790,7 +1797,7 @@
 % --prolog-dialect is not documented because it is not yet used
 %		"--prolog-dialect {sicstus,nu}",
 %		"\tTarget the named dialect if generating Prolog code.",
-		"--no-line-numbers",
+		"-n-, --no-line-numbers",
 		"\tDo not put source line numbers in the generated code.",
 		"\tThe generated code may be in C (the usual case),",
 		"\tin Goedel (with the option --convert-to-goedel)",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.237
diff -u -d -r1.237 user_guide.texi
--- doc/user_guide.texi	2001/02/06 07:11:41	1.237
+++ doc/user_guide.texi	2001/02/08 10:54:46
@@ -3210,7 +3210,7 @@
 @samp{--no-llds-optimize} option.
 
 @sp 1
- at item --no-line-numbers
+ at item -n-, --no-line-numbers
 Do not put source line numbers in the generated code.
 The generated code may be in C (the usual case),
 in Goedel (with @samp{--convert-to-goedel})

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------