Using Texinfo 4.2 @copying

[Joseph S. Myers]

On Fri, 27 Dec 2002, Mark Mitchell wrote:

> You can apply any documentation changes you deem appropriate to the
> 3.3 branch.

I'm treating the actual change in required makeinfo version (patch 3) as a
configure change (needing review) rather than a doc change, since it will
no doubt need many people to increase their upgrade their installed
makeinfo version.

-- 
Joseph S. Myers
jsm28@cam.ac.uk