diff options
Diffstat (limited to 'dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild')
| -rw-r--r-- | dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild b/dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild index 47033ef2b054..d905057c7526 100644 --- a/dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild +++ b/dev-ml/pcre-ocaml/pcre-ocaml-7.3.3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -35,7 +35,6 @@ src_install() { opam_src_install pcre if use examples ; then - insinto /usr/share/doc/${PF} - doins -r examples + dodoc -r examples fi } |