purpose of EXTRA_DIST

[Joel Sherrill <joel@OARcorp.com>]

Ralf Corsepius wrote:
> On Tue, 2005-10-25 at 14:35 -0700, Till Straumann wrote:
> 
>>What's the purpose of EXTRA_DIST, i.e.,
>>what files are supposed to be listed ?
> 
> 
> info automake
> 
> In a nutshell:
> EXTRA_DIST is automake's make-variable to take all those files which are
> not automatically added to a tarball during a "make dist".
> 
> ATM, "make dist" is non-functional in most parts of the RTEMS source
> tree, so EXTRA_DIST isn't of much importance.

But we should be trying to make it useful -- not discourage people from 
using it.  :)

--joel