purpose of EXTRA_DIST

[Ralf Corsepius]

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.

Ralf