[EMAIL PROTECTED] (Karl Berry) writes: > I believe this is a good time to improve things like this. > > Well, I see your point, but on the other hand, it doesn't seem good to > me to have two known-different files named "gpl.texi".
Where is the other version? > So if we go that route, I suggest the gnulib file have a different > name (gnulib-gpl.texi?). I don't object, but I don't understand why it would be an improvement. Gnulib's gpl.texi won't automatically end up in various projects. However, your suggestion seems to be a good compromise, right? > Also, of course there is the question of updating it. Last time the > FSF's address changed (argh), I had to update a lot of different > places. I tried to hard to unify the files at that time, so it's hard > for me to see them split apart again. Although of course it is not a > a frequently changed file, so it's not that big a deal :). If you update all places to sync with gnulib, you won't have to split them apart again. :-) /Simon