Error
The Info node
tic6x-dependent
in Info file
/usr/share/info/as.info.gz
does not exist.