[m-dev.] rework the help text printing

[Fergus Henderson]

On 28-Jul-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> 
> The text for the help messages in the compiler was harder than necessary
> to maintain, and certainly lead to larger code than necessary, so this
> change addresses that.
> 
> compiler/options.m:
> 	replace the looonnnggg conjunctions of calls to io__write_string
> 	for writing the help text with single calls to write_tabbed_lines
> 	which takes a list of lines which it writes - each with a preceeding
> 	tab and a following newline.
> 
> 	The diff is very boring, but I used diff to make sure that the output
> 	is exactly the same as before (modulo the version string at the start).

Thanks.  Go ahead and commit that one.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.