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