Re: option missing in documentation

2013-12-14 Thread Chet Ramey
On 12/14/13, 6:36 AM, walter harms wrote: > hi list, > i noticed that the -p option is described in text (in INVOCATION) but > not in the option list. In the description of `set' in the bash-4.2 man page (doc/bash.1), we find: -p Turn on privileged mode. In this mode, the $ENV and

option missing in documentation

2013-12-14 Thread walter harms
hi list, i noticed that the -p option is described in text (in INVOCATION) but not in the option list. re, wh