[m-dev.] Small patch for doc/make_manpage

Peter Hawkins peter at hawkins.emu.id.au
Fri Jun 11 12:47:42 AEST 2004

On Fri, 11 Jun 2004 12:10 pm, Peter Moulder wrote:
> On Mon, Jun 07, 2004 at 10:16:10PM +1000, Peter Hawkins wrote:
> > +summary="`echo \"$manpage\" | head -n 1 | cut -d ',' -f 1`"
> The right-hand side of a variable assignment is not subject to field
> splitting[*1]; it is safe to do

I thought so too. However that is the style of the other variable assignments 
in that script, so I thought there must be a reason for it...

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

More information about the developers mailing list