>> Have you checked out the 'install-font.sh' script [...] > > I've used this script and I agree it's great. But it's not part of > groff, not distributed with groff, [...]
I don't object if someone is adding this to groff's `contrib'
directory (however, using a better name like `install-groff-font' or
`groff-font-install').
Werner
