Subject: Re: texinfo files
To: Ted Lemon <>
From: Perry E. Metzger <>
List: current-users
Date: 09/22/1998 23:00:41
Ted Lemon writes:
> Actually, they should be built from source, not added.   The sources
> are the .texi files.   In order for this to happen, though, the GNU
> texinfo package needs to be installed on all build machines.

...which would require texinfo on be in the tree. "Messy!"