From 4cbcc855382a06088e2f016f62cafdbcb7e40665 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 20 Mar 2022 00:40:44 +0000 Subject: gentoo resync : 20.03.2022 --- media-libs/sge/sge-030809.ebuild | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'media-libs/sge/sge-030809.ebuild') diff --git a/media-libs/sge/sge-030809.ebuild b/media-libs/sge/sge-030809.ebuild index a84e9aa3238f..8847d3d6aa9d 100644 --- a/media-libs/sge/sge-030809.ebuild +++ b/media-libs/sge/sge-030809.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -59,8 +59,8 @@ src_install() { dodoc docs/* fi - if use examples ; then - insinto /usr/share/doc/${PF} - doins -r examples + if use examples; then + dodoc -r examples + docompress -x /usr/share/doc/${PF}/examples fi } -- cgit v1.2.3