* 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.