projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f717474) | patch
dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140
authorKeri Harris <keri@gentoo.org>
Tue, 23 Oct 2018 07:27:00 +0000 (09:27 +0200)
committerKeri Harris <keri@gentoo.org>
Tue, 23 Oct 2018 07:32:20 +0000 (09:32 +0200)
commitc0bf824f276438bbbe039c4b45000a075c56beee
tree448d1fa60e59597c744492adffabd83be72282e0tree | snapshot
parentf717474a782311cf1c0632cf1692989e44bdd8e4commit | diff
dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140

Package-Manager: Portage-2.3.40, Repoman-2.3.9
Signed-off-by: Keri Harris <keri@gentoo.org>
dev-lang/mercury/mercury-14.01.1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.