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