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