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