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