Error
The Info node
(gnu 'gettext' utilities, gettext, gnu 'gettext' utilities)top
in Info file
/usr/share/info/gawk.info.gz
does not exist.