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