/NODOC/d
/@spmsg@/s/@/@symbol '%s' /
/@spmsg@/s/@spmsg@/@message@/
/@spwarn@/s/@/@warning: symbol '%s' /
/@spwarn@/s/@spwarn@/@warning@/
/@modmsg@/s/@/@file '%s': module '%s': /
/@modmsg@/s/@modmsg@/@message@/
/@mpmsg@/s/@/@file '%s': module '%s': /
/@mpmsg@/s/@mpmsg@/@message@/
/@filemsg@/s/@/@file '%s': /
/@filemsg@/s/@filemsg@/@message@/
/[ 	][ 	]*@/s/[ 	][ 	]*@/@/g
/[ 	][ 	]*$/s/[ 	][ 	]*$//g
