[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: info files

From: rthorpe
Subject: Re: info files
Date: 31 Oct 2006 06:41:24 -0800
User-agent: G2/1.0

Dan Bensen wrote:
> 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)

As well as getting the TexInfo package from somewhere you might want to
check your system is OK.  Mostly install-info is part of the base
install of a GNU/Linux distro since it's often automatically triggered
after installation of a package to update the dir file.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]