Bruno Haible <[EMAIL PROTECTED]> writes: > a) Add another option to gnulib that avoids the license changes altogether. > You would use this option; Jim when making release tarballs would not. > Drawback: Jim needs a special directory for making release tarballs. > > b) Push back the license substitution moment to "make dist". I.e. You > work on symlinks to gnulib files that carry mixed GPL/LGPL notices, > but "make dist" creates a tarball with only GPL notices.
Neither method sounds appealing. The first sounds error-prone. The second would be yet another version of the file, with a mixed notice, and a difference between what's developed with and what's distributed. The other options I've thought of are even worse, alas....
