diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-12-30 22:49:49 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-12-30 22:50:43 +0100 |
| commit | 5ba93bf7da3a71fde146e57799f02ca5a1effed2 (patch) | |
| tree | 5370358be037719977de01c1a75ac69f5e200571 /dev-ada | |
| parent | mail-filter/maildrop: Stabilize 3.1.8 amd64, #947241 (diff) | |
| download | gentoo-5ba93bf7da3a71fde146e57799f02ca5a1effed2.tar.gz gentoo-5ba93bf7da3a71fde146e57799f02ca5a1effed2.tar.bz2 gentoo-5ba93bf7da3a71fde146e57799f02ca5a1effed2.zip | |
dev-ada/gprbuild: add pdf doc
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gprbuild/gprbuild-25.0.0-r1.ebuild (renamed from dev-ada/gprbuild/gprbuild-25.0.0.ebuild) | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ada/gprbuild/gprbuild-25.0.0.ebuild b/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 |