There was a discussion over a year ago about install-info. IIRC, the decision was to switch to using the GNU version after getting any additions we needed added. Why wasn't that implemented? If there are things our version does that don't belong in the GNU install-info then we should change the name of ours. Jay Treacy