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