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