Error
The Info node
v7%2Fsvr3.1
in Info file
%2Fusr%2Fshare%2Finfo%2F%2Fgawk.info.gz
does not exist.