src/tools/texinfo
