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