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