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