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