Error
The Info node
operator%3A%20%20%20%20%20%20%20%20precedence
in Info file
%2Fusr%2Fshare%2Finfo%2F%2Fgawk.info.gz
does not exist.