Description: remove docs from installation artifacts in gnat project
 Gprinstall does not distinguish architecture-independent and
 architecture-dependent files during installation.
 .
 Gprinstall is quite convenient for -arch builds, but should not
 interfer with -indep installations.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/src/gtkada.gpr
+++ b/src/gtkada.gpr
@@ -79,12 +79,6 @@
    end Linker;
 
    package Install is
-      for Artifacts ("share/gps/plug-ins") use ("../xml/gtkada.xml");
-      for Artifacts ("share/doc/gtkada/gtkada_ug") use
-        ("../docs/gtkada_ug/_build/html/*",
-         "../docs/gtkada_ug/_build/latex/GtkAda.pdf");
-      for Artifacts ("share/doc/gtkada") use
-        ("../docs/gtkada_rm/gtkada_rm");
    end Install;
 
 end GtkAda;