summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVikraman Choudhury <vikraman@gentoo.org>2016-02-11 23:27:56 -0500
committerVikraman Choudhury <vikraman@gentoo.org>2016-02-11 23:27:56 -0500
commita33c7189a6d16afe8237df197f753c84cb9f3bf3 (patch)
tree57ac2bb319d45b53840e6c1e7582043bab49d637 /sci-mathematics/twelf
parentsci-mathematics/twelf: Fix typo (diff)
downloadgentoo-a33c7189a6d16afe8237df197f753c84cb9f3bf3.tar.gz
gentoo-a33c7189a6d16afe8237df197f753c84cb9f3bf3.tar.bz2
gentoo-a33c7189a6d16afe8237df197f753c84cb9f3bf3.zip
sci-mathematics/twelf: Fix doc generation
app-text/texi2html is necessary for doc generation. Package-Manager: portage-2.2.27
Diffstat (limited to 'sci-mathematics/twelf')
-rw-r--r--sci-mathematics/twelf/twelf-1.7.1.ebuild1
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index dde30a1ceaa..7a097dd7aa2 100644
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -25,6 +25,7 @@ RDEPEND="
dev-lang/mlton
doc? (
virtual/latex-base
+ app-text/texi2html
)
emacs? (
virtual/emacs