Subject: Re: texinfo files
To: Jim Wise <>
From: Todd Vierling <>
List: current-users
Date: 09/23/1998 12:19:50
On Wed, 23 Sep 1998, Jim Wise wrote:

: >> I'm more concerned about us installing documentation in /usr/share that
: >> we don't ship a browser for.  Perhaps we should bite the bullet and
: >> bring texinfo into /usr/src/gnu?
: >
: >You sure you don't mean "info"?
: True, but if we bring in the info(1) program, we probably need
: makeinfo(1) and install-info(1) as well.  texinfo is simply the name of
: the package containing all three (plus texi2dvi and texindex, which we
: can't really use since we don't ship TeX except in pkgsrc).

There is a texinfo directory in src/gnu/dist already, but it has only the
bare skeleton.  I can bear the possibility of having the texinfo suite in
the main distribution, but the size we're talking about in all this doc does
bring me to another point:

We should have a new `doc' set, separate from `text', `man', and `misc',
which contains /usr/share/doc and /usr/share/info, as well as the info(1)
browser. The makeinfo(1) program should probably be part of `text', and the
install-info(1) program part of `base' in order to make pkgsrc happier.
The info directory would be in /usr/share/info/dir (which would handle info
files in /usr/pkg/info via install-info(1)), also part of `base'.

-- Todd Vierling (Personal; Bus.