diff options
| author |   Sam James <sam@gentoo.org> | 2021-05-28 17:56:48 +0200 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-05-28 17:56:48 +0200 |
| commit | aa90de39b74ad6e4f9c048d33f8d308c23d851d3 (patch) | |
| tree | 997f13e27e75ad0f36d0b38e109adac64c12f636 /dev-lang/mercury | |
| parent | app-misc/blink1: fix docinto argument (avoid double 'prefix') (diff) | |
| download | gentoo-aa90de39b74ad6e4f9c048d33f8d308c23d851d3.tar.gz gentoo-aa90de39b74ad6e4f9c048d33f8d308c23d851d3.tar.bz2 gentoo-aa90de39b74ad6e4f9c048d33f8d308c23d851d3.zip | |
dev-lang/mercury: fix docinto argument (avoid double 'prefix')
Signed-off-by: Sam James <sam@gentoo.org>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-lang/mercury')
| -rw-r--r-- | dev-lang/mercury/mercury-20.06-r1.ebuild (renamed from dev-lang/mercury/mercury-20.06.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mercury/mercury-20.06.ebuild b/dev-lang/mercury/mercury-20.06-r1.ebuild index be12f843b0ea..56a047bcb576 100644 --- a/dev-lang/mercury/mercury-20.06.ebuild +++ b/dev-lang/mercury/mercury-20.06-r1.ebuild @@ -181,7 +181,7 @@ src_install() { fi if use examples; then - docinto /usr/share/doc/${PF}/samples + docinto samples dodoc samples/{*.m,README,Mmakefile} dodoc -r samples/c_interface \ samples/diff \ |