Error

The Info node atari using in Info file /usr/share/info/gawk.info.gz does not exist.