Error
The Info node
//xxx
in Info file
/usr/share/info/dvips.info.gz
does not exist.