Error
The Info node
tic6x-dependent%20
in Info file
%2Fusr%2Fshare%2Finfo%2F%2Fas.info.gz
does not exist.