[m-rev.] trivial diff: remove --link-flags documentation

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
	Remove the documentation for the `--link-flags' option --
	it has been removed.

Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.403
retrieving revision 1.404
diff -u -u -r1.403 -r1.404
--- options.m	5 Feb 2003 14:41:13 -0000	1.403
+++ options.m	10 Feb 2003 09:39:24 -0000	1.404
@@ -3756,11 +3756,6 @@
 		"\t(The default executable name is the same as the name",
 		"\tof the first module on the command line.)",
 		"\tThis option is ignored by `mmc --make'.",
-		"--link-flags <options>, --ml-flags <options>",
-		"--link-flag <option>, --ml-flag <option>",
-		"\tSpecify options to be passed to ml, the Mercury linker.",
-		"\t`--ml-flag' should be used for single words which need",
-		"\tto be quoted when passed to the shell.",
 		"--ld-flags <options>, --ld-flags <option>",
 		"\tSpecify options to be passed to the linker command",
 		"\tinvoked by ml to link an executable.",
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------