diff options
Diffstat (limited to 'dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch')
| -rw-r--r-- | dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch new file mode 100644 index 000000000000..5de80869e561 --- /dev/null +++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch @@ -0,0 +1,15 @@ +--- 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; + |