some mistakes in help texts [patch]

[Benno Schulenberg]

Hi,

Attached patch fixes the mistakes I've found so far in the texts 
printed by the 'help' command.  It adds a missing percent sign to 
the synopsis of '%', corrects the description of the -p option of 
'time', makes 'file' an optional argument in the synopsis of 'exec' 
and removes a duplicate word there; and rearranges the whole text 
describing 'declare', putting -f and -F together with option -p and 
not with the attribute-setting parameters, as -f and -F cannot take 
+ instead of - like the others.

By the way, it seems that \n in the TIMEFORMAT variable does not 
work correctly: a literal \n is printed instead of a newline:

$ TIMEFORMAT="used  : %U\nsystem: %S"
$ time help time >/dev/null
used  : 0.001\nsystem: 0.000

One needs to use an actual line feed to get a newline in there:

$ TIMEFORMAT="used  : %U
system: %S"
$ time help time >/dev/null
used  : 0.000
system: 0.001

Benno

bash--percent-time-exec-declare.patch
Description: Text Data