Subject: Re: Importing texinfo: proposal
To: Todd Vierling <firstname.lastname@example.org>
From: Hubert Feyrer <email@example.com>
Date: 01/03/1999 03:38:58
On Sat, 2 Jan 1999, Todd Vierling wrote:
> To dig up an old thread, I'd like to import texinfo 3.12 into the tree so
> that we can distribute and use the various GNU texinfo doc in our tree for
> the GNU tools.
> This would involve the following, designed as such to address prior concerns
> about such an import:
> - texinfo would build makeinfo, info, install-info, texi2dvi, and texindex.
> - The texi2dvi script would be changed to add a check to make sure some
> kind of TeX is installed in $PATH.
> - info would have a manual page created.
> - info files would install in /usr/share/doc/info, and the default Info
> directory would be in /usr/share/doc/info/dir.
> - all info files, as well as all /usr/share/doc files, would move to a new
> distribution set, `doc'.
Yes - pkgsrc-related. What results will this have there?
Sure we can remove all the depending on the gtexinfo package
(USE_GTEXINFO), which I won't shed a tear for.
The in-tree info should know to look in /usr/pkg as well, maybe even
I would really prefer if the dir was /usr/share/info, semilar to
/usr/share/man. Else, we might consider moving our manpages to the
doc-section as well. .-) The same goes for pkgsrc - info files should go
to $PREFIX/share/info, and $PREFIX/share/doc should contain information
for individual packages.
Hubert Feyrer <firstname.lastname@example.org>