OSDN Git Service

GNU_texinfo: Remove unnecessary .IP from original install-info.1.