2 files changed, 4 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 0c4c8db3caeb..5d91805c469f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = uefi-shell-svn
 	pkgdesc = UEFI Shell v2 - from Tianocore EDK2 - SVN Version
-	pkgver = 15536
+	pkgver = 15537
 	pkgrel = 1
 	url = http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=ShellPkg
 	install = uefi-shell.install
@@ -12,7 +12,6 @@ pkgbase = uefi-shell-svn
 	provides = uefi-shell
 	conflicts = uefi-shell
 	options = !strip
-	options = docs
 	options = !makeflags
 	source = tianocore-edk2-svn_BaseTools::svn+https://svn.code.sf.net/p/edk2/code/trunk/edk2/BaseTools
 	source = tianocore-edk2-svn_MdePkg::svn+https://svn.code.sf.net/p/edk2/code/trunk/edk2/MdePkg
diff --git a/PKGBUILD b/PKGBUILD
index a82df964a4e2..6f3eec6f3ddd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -26,7 +26,7 @@ _COMPILER="GCC48"
 _pkgname="uefi-shell"
 pkgname="${_pkgname}-svn"
 
-pkgver=15536
+pkgver=15537
 pkgrel=1
 pkgdesc="UEFI Shell v2 - from Tianocore EDK2 - SVN Version"
 url="http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=ShellPkg"
@@ -35,10 +35,10 @@ license=('BSD')
 
 makedepends=('subversion' 'python2')
 
-options=('!strip' 'docs' '!makeflags')
+options=('!strip' '!makeflags')
 
 conflicts=('uefi-shell')
-provides=('uefi-shell')
+provides=("uefi-shell")
 
 install="${_pkgname}.install"