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