* Bernhard R. Link: > Consider next that this info file does not contain the advertised > section nor contains the GFDL at all. I think that's why there is a @copying directive in recent Texinfo versions. You could change the Texinfo source to use it.