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