src/external/gpl2/texinfo/bin