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

[Peter Moulder]

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.

pjrm.

[*1]: Reference:
  http://www.opengroup.org/onlinepubs/007908799/xcu/chap2.html#tag_001_009_001
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------