From 4346aaa3333eb4ba2bd6ee0dc1976c32545d3bfb Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Tue, 26 Dec 2017 09:24:35 -0800
Subject: Android build: no point making the docs

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 packaging/android/build.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'packaging/android/build.sh')

diff --git a/packaging/android/build.sh b/packaging/android/build.sh
index 2926187ac..0eecebf47 100755
--- a/packaging/android/build.sh
+++ b/packaging/android/build.sh
@@ -390,6 +390,7 @@ cmake $MOBILE_CMAKE \
 	-DLIBGIT2_FROM_PKGCONFIG=ON \
 	-DNO_PRINTING=ON \
 	-DNO_USERMANUAL=ON \
+	-DNO_DOCS=ON \
 	-DFBSUPPORT=OFF \
 	-DCMAKE_PREFIX_PATH:UNINITIALIZED="$QT5_ANDROID_CMAKE" \
 	-DCMAKE_BUILD_TYPE="$BUILD_TYPE" \
-- 
cgit v1.2.3-70-g09d2