Re: info info

[Karl Berry]

    7.7.1 should be 7.5.1 etc.

As Eli suggested, it is a bug in the coreutils manual; I told the
maintainers.  Perhaps makeinfo should give a warning in this case,
though.  Will review that another time.

Thanks,
Karl