On 13 Dec 2000, Jorgen Schaefer wrote:
> > - `cp foo.info /usr/local/info; info foo' should work.
> > This means that `info foo' should find `foo' even if it's not in any
> > `dir' file (just like the whatis database is not needed for man to find
> > the manpage).
>
> I agree that this is a good feature, possibly even additionally
> using an environment variable INFO_PATH, with info looking in
> each of those directories.
You mean INFOPATH, not INFO_PATH, right?
> Just a thought... maybe, if after info foo info doesn't find a
> foo info file (either in dir or in PATH), it could see if it
> finds a .texi file, and if so, run makeinfo on it to produce an
> info file in an info spool directory.
As mentioned elsewhere in this thread, this will not work in many
cases, since the rules to produce an Info file from Texinfo sources
are usually complicated.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo