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