'man bash' needs updating

[purslow at sympatico.ca]

i just sent the exchange below to Gentoo User,
but it occurs to me that there's a tiny alert for developers too.

whence are 'man' files obtained for inclusion in Gentoo ?
when/how are they updated ?  can Gentoo developers add things, if needed ?

more particularly, cd someone add a line re 'bash -x' to 'man bash' ?

-- start quote --

040208 Norbert Kamenicky wrote:
> Paul Stear wrote:
>>>  bash -x script
>> that's just what I was looking for.  Where did you find it? 
>> I thought I had checked all docs, perhaps I was asleep!!!!
> I learned it some years ago probably from "man sh" on another unix.
> If u can't find it in "man bash" it's probably
> because programmers commonly hate to write/update manuals :-(.

yes, it's remarkable: it's not listed by 'man bash';
if you seek help via 'bash --help', then 'bash -c "help set"', it is listed.

i have it in my home-made distill'n of 'man bash',
but i've no record where/when i heard re it:
prob'ly on Mandrake User judging by the 'last altered' date on the file.

-- end quote --

-- 
========================,,============================================
SUPPORT     ___________//___,  Philip Webb : purslow at chass.utoronto.ca
ELECTRIC   /] [] [] [] [] []|  Centre for Urban & Community Studies
TRANSIT    `-O----------O---'  University of Toronto