Bug#768547: gnat-gps-doc: wrong license for user guide (GPL instead of GFDL)

2014-11-12 Thread Nicolas Boulenguez
Source: gnat-gps Followup-For: Bug #768547 Control: tags -1 pending I have modified the com.adacore.gps.debian and org.debian.gnat-gps branches of the VCS so that the new license is unchanged and mentioned in debian/copyright. To minimize changes during the freeze, I have not removed the

Bug#768547: gnat-gps-doc: wrong license for user guide (GPL instead of GFDL)

2014-11-08 Thread Nicolas Boulenguez
Package: gnat-gps-doc Severity: serious Justification: license issue The file docs/users_guide/license.rst in the pristine upstream tarball contains the GFDL. It is included by docs/users_guide/index.rst, which mentions no invariant parts or cover texts, so the documentation complies to the DFSG.