Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/erlang/
Date: Tue, 18 Sep 2018 06:58:27
Message-Id: 1537253889.9df8c3acffa1d832070e50b7f824270a29103f28.mgorny@gentoo
1 commit: 9df8c3acffa1d832070e50b7f824270a29103f28
2 Author: Harley Wiltzer <harleyw <AT> hotmail <DOT> com>
3 AuthorDate: Sun Sep 2 19:56:07 2018 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Tue Sep 18 06:58:09 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9df8c3ac
7
8 dev-lang/erlang: Fixes docs pdf installation
9
10 Closes: https://bugs.gentoo.org/467116
11 Package-Manager: Portage-2.3.40, Repoman-2.3.9
12 Closes: https://github.com/gentoo/gentoo/pull/9769
13
14 dev-lang/erlang/erlang-20.3.ebuild | 6 ++++--
15 1 file changed, 4 insertions(+), 2 deletions(-)
16
17 diff --git a/dev-lang/erlang/erlang-20.3.ebuild b/dev-lang/erlang/erlang-20.3.ebuild
18 index 90ffecb7144..6d717177588 100644
19 --- a/dev-lang/erlang/erlang-20.3.ebuild
20 +++ b/dev-lang/erlang/erlang-20.3.ebuild
21 @@ -146,10 +146,12 @@ src_install() {
22 echo "MANPATH=\"${EPREFIX}${ERL_LIBDIR}/man\"" > "${ED}/etc/env.d/90erlang"
23
24 if use doc ; then
25 - dohtml -A README,erl,hrl,c,h,kwc,info -r \
26 - "${WORKDIR}"/doc "${WORKDIR}"/lib "${WORKDIR}"/erts-*
27 + local DOCS=( "AUTHORS" "HOWTO"/* "README.md" "CONTRIBUTING.md" "${WORKDIR}"/doc "${WORKDIR}"/lib "${WORKDIR}"/erts-* )
28 + docompress -x /usr/share/doc/${PF}
29 fi
30
31 + einstalldocs
32 +
33 if use emacs ; then
34 pushd "${S}"
35 elisp-install erlang lib/tools/emacs/*.{el,elc}