gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 12:58:16 -07:00
Code Issues Projects Releases Wiki Activity

dev-ada/gprbuild: add pdf doc

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2024-12-30 22:49:49 +01:00
parent 95c0e0b8c9
commit 5ba93bf7da
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-ada/gprbuild/gprbuild-25.0.0.ebuild → dev-ada/gprbuild/gprbuild-25.0.0-r1.ebuild
View File

@@ -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