Added texlive-latexextra to makedepends

2 files changed, 4 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ba290fe50861..3ed0e6b302df 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
 pkgbase = nusmv
 	pkgdesc = A new symbolic model checker
 	pkgver = 2.5.4
-	pkgrel = 2
+	pkgrel = 3
 	url = http://nusmv.irst.itc.it/NuSMV/
 	arch = i686
 	arch = x86_64
 	license = LGPL2.1
 	makedepends = ghostscript
+	makedepends = texlive-latexextra
 	depends = expat
 	optdepends = perl: for scripts in /usr/share/nusmv/contrib/
 	source = http://nusmv.fbk.eu/distrib/NuSMV-2.5.4.tar.gz
diff --git a/PKGBUILD b/PKGBUILD
index 8b162f39a906..95edcbb63fa0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,13 +4,13 @@
 pkgname=nusmv
 _pkgname=NuSMV
 pkgver=2.5.4
-pkgrel=2
+pkgrel=3
 pkgdesc="A new symbolic model checker"
 arch=('i686' 'x86_64')
 url="http://nusmv.irst.itc.it/$_pkgname/"
 license=('LGPL2.1')
 depends=('expat')
-makedepends=('ghostscript')
+makedepends=('ghostscript' 'texlive-latexextra')
 optdepends=('perl: for scripts in /usr/share/nusmv/contrib/')
 source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz")
 sha256sums=('3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf')