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