Re: New source tree with Eric's patches

[Ronald G Minnich]

On Tue, 13 Mar 2001, Greg Pratt wrote:

> Ron,
> I've been monitoring the list and am not sure what the
> config tool is. Is there a bit of documentation you
> can post or should we just pull down the latest source
> from CVS? What is the executable/script for config?

in Documentation/configmanual.{lyx,ps} is  a description of the tool. 

There is a long part and a short part. Most people only need the short
part.

ron