> Date: Fri, 6 Jul 2007 17:22:08 -0500 > From: [EMAIL PROTECTED] (Karl Berry) > Cc: [EMAIL PROTECTED], bug-texinfo@gnu.org > > If gendocs.sh is contradicting the Texinfo manual and the code in > makeinfo, I'd suggest to fix gendocs.sh. > > I just said I would.
Sorry, I must have missed that. > What I need is another umpteen hours in each day. Don't we all?