[m-dev.] Contribution: Pretty Printing Library

[Fergus Henderson]

On 14-Apr-2000, Mark Anthony BROWN <dougl at cs.mu.OZ.AU> wrote:
> > > 	- The dividing lines (mostly) are quite a bit shorter in
> > > 	  the library modules.
> > 
> > I've just had a quick look through some of the library modules and
> > a 79 column dividing line seems to be the norm (mine are 80).  Is
> > this a problem?
> 
> Sorry, you are right.  I looked through the _generated_ html and noticed
> that they were consistently shorter.  But it turns out that in processing
> the texi (the code is in doc/Mmakefile), lines matching '^%----*----% *$'
> are replaced with a fixed dividing line

Yes, this is so that the dividing lines aren't wider than
the page width (roughly 65 characters or something like that)
in the printed manual.

-- 
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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------