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