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