Re: Multiply distributed files

[Alexandre Duret-Lutz]

>>> "AD" == Akim Demaille <address@hidden> writes:

 AD> So the "dist" immediately below is executed with a read-only source
 AD> tree.  This seems wrong to me, I suggest restoring the rights first.

Why?  We ought to be able to run "make dist" from an up-to-date
read-only source tree.  Removing these rights ensures this.
Restoring them would hide some bugs, like people modifying source
files during "make dist".

Maybe a less invasive change is to restore the rights only on the
directories that have been copied with `cp -p'? (I think this can be
done immediately after the `cp -p'.)

IMHO EXTRA_DISTing directories should be only used for directories
that are generated automatically (e.g., Doxygen documentation).  If
the directory contains hand-maintained files (and hence backups, etc.),
EXTRA_DISTing it is too error-prone.  
-- 
Alexandre Duret-Lutz

Shared books are happy books.     http://www.bookcrossing.com/friend/gadl