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