Yes. gnulib will also need to update doc/gpl.texi and doc/gpl.txt.
Similarly for doc/lgpl.texi and doc/lgpl.txt.
I wasn't sure why gpl.txt and lgpl.txt were needed given
COPYING{,.LESSER}, so I removed them. If for some reason it is useful
to have these copies, fine, we can set them up.
Other than that, I renamed/added the COPYING and .texi files.
lgpl-3.0.texi has not been created yet AFAIK. I'll try to send a draft
to jgay about that over the weekend, if it hasn't materialized otherwise.
karl
