purpose of EXTRA_DIST

Till Straumann strauman at slac.stanford.edu
Tue Oct 25 21:35:13 UTC 2005

Previous message: ampolish3
Next message: purpose of EXTRA_DIST
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What's the purpose of EXTRA_DIST, i.e.,
what files are supposed to be listed ?

Thanks
-- Till

Previous message: ampolish3
Next message: purpose of EXTRA_DIST
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the users mailing list