src/external/gpl2/texinfo/dist