work around bug in install-info
5 files changed