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