gentoo-overlay/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch

--- a/gnatcoll.gpr	2023-09-21 17:57:14.000000000 +0200
+++ b/gnatcoll.gpr	2024-03-01 20:34:24.178681586 +0100
@@ -306,9 +306,9 @@
    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")
+      for Artifacts ("share/doc/@PF@/examples") use ("examples/*");
+      for Artifacts ("share/doc/@PF@/html") use ("docs/_build/html");
+      for Artifacts ("share/doc/@PF@")
         use ("docs/_build/latex/GNATColl.pdf");
    end Install;