diff options
| author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
| commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
| tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/mono | |
| parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) | |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/mono')
| -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 |