Re: info files

[Dan Bensen]

Sam Peterson wrote:
> The dir file has to have entries pointing to 'em.  You need to use the
> install-info command for this.  sudo install-info <filename> <dir
> file> is the typical incantation on Unix systems.

I don't seem to have it.

root[ocaml]# which install-info
which: no install-info in 
(/usr/local/sbin:/usr/local/bin:/sbin:/usr/sbin:/bin:/usr/bin)