Description: remove Artifacts from gnatcoll.gpr
 Gprinstall has no option to skip artifacts or change their destination.
 It is not installed during indep builds.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/gnatcoll.gpr
+++ b/gnatcoll.gpr
@@ -306,10 +306,6 @@
    end Linker;
 
    package Install is
-      for Artifacts ("share/examples/gnatcoll") use ("examples/*");
-      for Artifacts ("share/doc/gnatcoll/html") use ("docs/_build/html");
-      for Artifacts ("share/doc/gnatcoll")
-        use ("docs/_build/latex/GNATColl.pdf");
    end Install;
 
 end GnatColl;