3 '/site/tex/web/noweb/src/xdoc/doversion' wicked mole: Inappropriate ioctl for device
!		error.host	1
.