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