diff options
author | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2021-07-30 18:11:55 +0200 |
---|---|---|
committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2021-07-30 20:09:03 +0200 |
commit | a13ad175a98013d8a48364fc72caf6eb0412c419 (patch) | |
tree | ebce60f1cecdab6164c2751ca465b46287ec5d44 | |
parent | x11-misc/xbanish: rename SRC_URI download (diff) | |
download | guru-a13ad175a98013d8a48364fc72caf6eb0412c419.tar.gz guru-a13ad175a98013d8a48364fc72caf6eb0412c419.tar.bz2 guru-a13ad175a98013d8a48364fc72caf6eb0412c419.zip |
sys-cluster/dyninst: fix pdf installation
Closes: https://bugs.gentoo.org/805236
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
-rw-r--r-- | sys-cluster/dyninst/dyninst-11.0.1.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys-cluster/dyninst/dyninst-11.0.1.ebuild b/sys-cluster/dyninst/dyninst-11.0.1.ebuild index 5374e6f02..73a7501d4 100644 --- a/sys-cluster/dyninst/dyninst-11.0.1.ebuild +++ b/sys-cluster/dyninst/dyninst-11.0.1.ebuild @@ -45,7 +45,9 @@ src_install() { cmake_src_install einstalldocs - use doc && mv "${ED}"/usr/share/doc/*.pdf "${ED}/usr/share/doc/${PF}" || die + if use doc; then + mv "${ED}"/usr/share/doc/*.pdf "${ED}/usr/share/doc/${PF}" || die + fi if [[ ! -e "${ED}/usr/$(get_libdir)" ]]; then mv "${ED}/usr/lib" "${ED}/usr/$(get_libdir)" || die |