notmuch: Fix man page generation

packages/notmuch/build.sh

@@ -1,12 +1,17 @@
 TERMUX_PKG_HOMEPAGE=https://notmuchmail.org
 TERMUX_PKG_DESCRIPTION="Thread-based email index, search and tagging system"
 TERMUX_PKG_VERSION=0.25
+TERMUX_PKG_REVISION=1
 TERMUX_PKG_SHA256=65d28d1f783d02629039f7d15d9a2bada147a7d3809f86fe8d13861b0f6ae60b
 TERMUX_PKG_SRCURL=https://notmuchmail.org/releases/notmuch-${TERMUX_PKG_VERSION}.tar.gz
 TERMUX_PKG_BUILD_IN_SRC=yes
 TERMUX_PKG_DEPENDS="glib, libgmime, libtalloc, libxapian"
 
 termux_step_configure () {
+	# Use python3 so that the python3-sphinx package is
+	# found for man page generation.
+	export PYTHON=python3
+
 	cd $TERMUX_PKG_SRCDIR
 	XAPIAN_CONFIG=$TERMUX_PREFIX/bin/xapian-config ./configure \
 		--prefix=$TERMUX_PREFIX \

scripts/setup-ubuntu.sh

@@ -28,6 +28,7 @@ PACKAGES+=" openjdk-8-jdk-headless" # Used for android-sdk.
 PACKAGES+=" pkg-config"
 PACKAGES+=" python3-docutils" # For rst2man, used by mpv.
 PACKAGES+=" python3-setuptools" # Needed by at least asciinema.
+PACKAGES+=" python3-sphinx" # Needed by notmuch man page generation.
 PACKAGES+=" scons"
 PACKAGES+=" texinfo"
 PACKAGES+=" xmlto"