diff options
author | Keri Harris <keri@gentoo.org> | 2022-06-03 16:35:16 +0200 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2022-06-03 16:36:02 +0200 |
commit | 38e82205ae0bee1c6b0caf5dd8f0ec9b199e27df (patch) | |
tree | 7762505aab6c21e415920cebcf9070bbcbbd03eb | |
parent | dev-util/clion: update dep list (diff) | |
download | gentoo-38e82205.tar.gz gentoo-38e82205.tar.bz2 gentoo-38e82205.zip |
dev-lang/mercury: install README.md with USE=examples
Closes: https://bugs.gentoo.org/849032
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Keri Harris <keri@gentoo.org>
-rw-r--r-- | dev-lang/mercury/mercury-22.01.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mercury/mercury-22.01.1.ebuild b/dev-lang/mercury/mercury-22.01.1.ebuild index d1c1fc3cff2f..8991e0cd933e 100644 --- a/dev-lang/mercury/mercury-22.01.1.ebuild +++ b/dev-lang/mercury/mercury-22.01.1.ebuild @@ -179,7 +179,7 @@ src_install() { if use examples; then docinto samples - dodoc samples/{*.m,README,Mmakefile} + dodoc samples/{*.m,README.md,Mmakefile} dodoc -r samples/c_interface \ samples/diff \ samples/muz \ |