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