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