OSDN Git Service

* doc/install.texi: Update Texinfo version requirement