From 5ba93bf7da3a71fde146e57799f02ca5a1effed2 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Mon, 30 Dec 2024 22:49:49 +0100 Subject: [PATCH] dev-ada/gprbuild: add pdf doc Signed-off-by: Alfredo Tupone --- .../{gprbuild-25.0.0.ebuild => gprbuild-25.0.0-r1.ebuild} | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) rename dev-ada/gprbuild/{gprbuild-25.0.0.ebuild => gprbuild-25.0.0-r1.ebuild} (95%) 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 f57e0dc497a41..3c89c2ea8b482 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