updated
.w files are treated as noweb files