Re: gpl and lgpl texi

[Karl Berry]

    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".  So if we go that
route, I suggest the gnulib file have a different name (gnulib-gpl.texi?).

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 :).

    I believe the patch below contains all changes mentioned so far.
    Bruno?

Thanks.  I'll send that to rms soon (without the node name change).

karl