Subject: Re: texinfo files
To: Michael C. Richardson <email@example.com>
From: Todd Vierling <firstname.lastname@example.org>
Date: 09/22/1998 21:14:39
On Tue, 22 Sep 1998, Michael C. Richardson wrote:
: Yes, I agree. My later points were that the files are rather dependant
: on the GNU makefiles, and on things outside that directory, so getting
: everything to build nicely make be more complicated than just invoking
: "makeinfo" at the right place.
At the current time, stuff being imported into gnu/dist _does_ have
pre-generated `.info' files, though those are currently "deleted" at the
head of the CVS tree. It would be trivial to re-add these files.
-- Todd Vierling (Personal email@example.com; Bus. firstname.lastname@example.org)