commit: 5ba93bf7da3a71fde146e57799f02ca5a1effed2
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 30 21:49:49 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Dec 30 21:50:43 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5ba93bf7
dev-ada/gprbuild: add pdf doc
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ada/gprbuild/{gprbuild-25.0.0.ebuild => gprbuild-25.0.0-r1.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-ada/gprbuild/gprbuild-25.0.0.ebuild
b/dev-ada/gprbuild/gprbuild-25.0.0-r1.ebuild
similarity index 95%
rename from dev-ada/gprbuild/gprbuild-25.0.0.ebuild
rename to dev-ada/gprbuild/gprbuild-25.0.0-r1.ebuild
index f57e0dc497a4..3c89c2ea8b48 100644
--- a/dev-ada/gprbuild/gprbuild-25.0.0.ebuild
+++ b/dev-ada/gprbuild/gprbuild-25.0.0-r1.ebuild
@@ -62,6 +62,7 @@ src_compile() {
emake -C doc txt
emake -C doc info
emake -C doc html
+ emake -C doc pdf
fi
}
@@ -74,7 +75,7 @@ src_install() {
local HTML_DOCS=
local DOCS=README.md
if use doc; then
- DOCS+=" examples doc/txt/gprbuild_ug.txt"
+ DOCS+=" examples doc/txt/gprbuild_ug.txt
doc/pdf/gprbuild_ug.pdf"
HTML_DOCS+="doc/html/*"
doinfo doc/info/gprbuild_ug.info
fi
