src/external/gpl2/texinfo/makedoc