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