From: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri, 12 Feb 2016 04:27:56 +0000 (-0500)
Subject: sci-mathematics/twelf: Fix doc generation
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=a33c7189a6d16afe8237df197f753c84cb9f3bf3;p=gentoo.git

sci-mathematics/twelf: Fix doc generation

app-text/texi2html is necessary for doc generation.

Package-Manager: portage-2.2.27
---

diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
index dde30a1ceaa6..7a097dd7aa21 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