small license problem in kdelibs

[Allen Winter]

On Monday 26 September 2011 5:45:43 AM Marco Martin wrote:
> Hi all,
> 
> last days, after we asked some more pair of eyes to check the licensing in 
> plasma active, a thing was discovered: many LGPL licensed files had an header 
> like that (you know, power of copy and paste ;)
> 
> /*
> *   Copyright 2010 Marco Martin <notmart at gmail.com>
> *
> *   This program is free software; you can redistribute it and/or modify
> *   it under the terms of the GNU Library General Public License as
> *   published by the Free Software Foundation; either version 2, or
> *   (at your option) any later version.
> *
> *   This program is distributed in the hope that it will be useful,
> *   but WITHOUT ANY WARRANTY; without even the implied warranty of
> *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
> *   GNU General Public License for more details
> *
> *   You should have received a copy of the GNU Library General Public
> *   License along with this program; if not, write to the
> *   Free Software Foundation, Inc.,
> *   51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
> */
> 
> as you note, talks about library general public license, then
> ...PARTICULAR PURPOSE.  See the GNU General Public License for more details
> 
> while it should be
> 
> ...PARTICULAR PURPOSE.  See the GNU Library General Public License for more 
> details
> 
> i guess it's an issue that krazy doesn't detect.
> 
Do you think this is something Krazy should look for?
i.e, if the license seems to be LGPL, check for "... GNU Library General Public..." 
right?

or don't bother?