File docs_install.patch of Package gnatcoll-core

--- core/gnatcoll_core.gpr.orig	2025-11-28 14:36:47.000000000 +0200
+++ core/gnatcoll_core.gpr	2025-12-04 16:30:44.670037854 +0200
@@ -396,11 +396,4 @@
       end case;
    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_Core;