Documenting tools necessary for GCC [draft]

[Mike Stump]

On Thursday, May 29, 2003, at 06:04 PM, Kaveh R. Ghazi wrote:
>> I don't know of a version that works, but I have a patch to the
>> .texi files to make them compatible with 4.2, that patch is in the
>> 3.3 release.
>
> Any reason you haven't forward-ported it to mainline?

I would like to, but don't have an OK for it.  At least one person 
wanted to see makeinfo -html fixed and then depend upon the new version 
of that tool for 3.4.

Personally, I don't like revlocking, if it can be avoided, and the 4 
extra hacking lines to avoid the problem don't seem to be overly 
burdensome.