Error
The Info node
(gcc)other builtins
in Info file
/usr/share/info/gccint.info.gz
does not exist.