On 12/31/2012 04:31 AM, David Prévot wrote: > Hi, > > On Fri, Dec 14, 2012 at 03:55:28PM +0100, Jakub Wilk wrote: >> * Lorenzo Bettini <bett...@dsi.unifi.it>, 2012-12-13, 09:29: >>>> As per GR 2006-001, works licensed under GFDL with unmodifiable >>>> sections are not suitable for main: >>>> http://www.debian.org/vote/2006/vote_001 >>> how should I change the documentation? >> >> Changing the documentation license to GFDL without cover texts >> should be good enough for Debian > > Any news about that? Please note that doc/source-highlight-lib.* are > also concerned by the same issue. > > Regards > > David >
Hi I pushed to git master; also check the attached patch. This should solve this issue, shouldn't it? In case I can make a new release cheers Lorenzo
patch1.patch
Description: application/empty