John Darrington <[email protected]> writes:

> Ok.  How about appending this clarification:
>
> "This restriction does not apply to pre-configuration scripts or programs
> intended for use only by developers of the package."

It looks all right to me. :)

Maybe there is something to do on the Gnulib side to advise not
adding the 'bootstrap' script in EXTRA_DIST. I will look into it when
your patch will be applied.

Thanks!

--
Mathieu Lirzin

Reply via email to