install-info --delete gawk     --info-dir /usr/share/info
install-info --delete gawkinet --info-dir /usr/share/info
