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