OSDN Git Service

Merge pull request #42292 (amotoki/jm/texinfo into master).