Subject: Re: texinfo files
To: None <perry@piermont.com>
From: Jim Bernard <jbernard@ox.mines.edu>
List: current-users
Date: 09/23/1998 06:15:08
On 9 22, Perry E. Metzger wrote:
> 
> Jim Bernard writes:
> > On 9 22, Perry E. Metzger wrote:
> > > The way that info works, it would be trivial to point the top level
> > > info file in /usr/share/info at a "second level" top level file in
> > > /usr/pkg/info. It would be a single line added. Simple, clean.
> > 
> >   And completely unnecessary: info combines the contents of dir files found
> > in its search path (which is rather extensive and already includes
> > /usr/share/info and /usr/pkg/info).
> 
> So then what is the issue? Why can't we just install everything in the 
> tree into /usr/share/info and be done?

  It looks to me like there is no technical barrier to doing just that.
It seems to be purely a matter of deciding to include texinfo in the main
tree rather than as a package and then installing the info files.