src/external/gpl2/texinfo

.