ref: a7f5ecaf636e38f407c951d0e86dcc4c4f424bd6 dir: /sys/doc/venti/mkfile/
</sys/doc/fonts venti.ps:V: echo up to date venti.html:V: echo up to date