Gentoo Archives: gentoo-commits

From: David Seifert <soap@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury/
Date: Fri, 28 May 2021 15:57:44
Message-Id: 1622217408.aa90de39b74ad6e4f9c048d33f8d308c23d851d3.soap@gentoo
1 commit: aa90de39b74ad6e4f9c048d33f8d308c23d851d3
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Fri May 28 15:56:48 2021 +0000
4 Commit: David Seifert <soap <AT> gentoo <DOT> org>
5 CommitDate: Fri May 28 15:56:48 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa90de39
7
8 dev-lang/mercury: fix docinto argument (avoid double 'prefix')
9
10 Signed-off-by: Sam James <sam <AT> gentoo.org>
11 Signed-off-by: David Seifert <soap <AT> gentoo.org>
12
13 dev-lang/mercury/{mercury-20.06.ebuild => mercury-20.06-r1.ebuild} | 2 +-
14 1 file changed, 1 insertion(+), 1 deletion(-)
15
16 diff --git a/dev-lang/mercury/mercury-20.06.ebuild b/dev-lang/mercury/mercury-20.06-r1.ebuild
17 similarity index 99%
18 rename from dev-lang/mercury/mercury-20.06.ebuild
19 rename to dev-lang/mercury/mercury-20.06-r1.ebuild
20 index be12f843b0e..56a047bcb57 100644
21 --- a/dev-lang/mercury/mercury-20.06.ebuild
22 +++ b/dev-lang/mercury/mercury-20.06-r1.ebuild
23 @@ -181,7 +181,7 @@ src_install() {
24 fi
25
26 if use examples; then
27 - docinto /usr/share/doc/${PF}/samples
28 + docinto samples
29 dodoc samples/{*.m,README,Mmakefile}
30 dodoc -r samples/c_interface \
31 samples/diff \