Subject: Re: texinfo files
To: Jim Wise <firstname.lastname@example.org>
From: Todd Vierling <email@example.com>
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 firstname.lastname@example.org; Bus. email@example.com)