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