OSDN Git Service

* doc/include/texinfo.tex: Update from Texinfo CVS.