* debian/gnat-gps-doc.copyright: Add a copyright file in gnat-gps-doc.
  Closes: #264274.

* debian/rules (clean): Remove all GNAT configuration files generated
  during the build.  They were mistakenly included in the *.diff.gz.

* debian/rules (binary-indep): chmod all the gif files; upstream has
  them executable and this is wrong.  Insall the changelog and the
  copyright file for gnat-gps-doc.

* debian/rules (binary-arch): call dh_installdeb to generate the
  postinst and postrm scripts.

* debian/menu: use a quoted string for the section.

* debian/control: Update Standards-Version to 3.6.1.1.