diff options
| author |   Jonas Rabenstein <jonas.rabenstein@studium.uni-erlangen.de> | 2016-03-06 14:59:11 +0100 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2016-03-11 15:59:26 +0000 |
| commit | 6154ed8ed3495714fa59a2d425314e953157df51 (patch) | |
| tree | 9b02d24f0143b57253a55e0aaf7eb9640fb3cb5b /app-text | |
| parent | dev-tex/minted: fix compilation of documentation (diff) | |
| download | gentoo-6154ed8ed3495714fa59a2d425314e953157df51.tar.gz gentoo-6154ed8ed3495714fa59a2d425314e953157df51.tar.bz2 gentoo-6154ed8ed3495714fa59a2d425314e953157df51.zip | |
dev-tex/minted: make documentation optional
add IUSE="doc" in order to allow disabling of compiling the
documentation (already handled by latex-package.eclass if the "doc" use
flag is available);
Closes: https://github.com/gentoo/gentoo/pull/986
Acked-by: Alexis Ballier <aballier@gentoo.org>
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'app-text')
0 files changed, 0 insertions, 0 deletions