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