diff options
Diffstat (limited to 'extra/mono/PKGBUILD')
| -rw-r--r-- | extra/mono/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/mono/PKGBUILD b/extra/mono/PKGBUILD index b22cb8b88..6e2ba74c1 100644 --- a/extra/mono/PKGBUILD +++ b/extra/mono/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 194705 2013-09-22 21:22:23Z daniel $ +# $Id: PKGBUILD 198325 2013-10-30 14:10:51Z allan $ # Maintainer: Daniel Isenmann <daniel@archlinux.org> # Contributor: Brice Carpentier <brice@dlfp.org> @@ -11,7 +11,7 @@ license=('GPL' 'LGPL2' 'MPL' 'custom:MITX11') url="http://www.mono-project.com/" depends=('zlib' 'libgdiplus>=2.10' 'sh') makedepends=('pkgconfig') -options=('!libtool' '!makeflags') +options=('!makeflags') provides=('monodoc') conflicts=('monodoc') install=mono.install |