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