src/tools/texinfo