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