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

Peter Moulder Peter.Moulder at infotech.monash.edu.au
Fri Jun 11 12:10:58 AEST 2004

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

  summary=`echo "$manpage" | head -n 1 | cut -d ',' -f 1`

which is easier to read.


[*1]: Reference:
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