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