chiark / gitweb /
notmuch: Fix man page generation
[termux-packages] / scripts / setup-ubuntu.sh
index ddd1fadea30aed6a612304f753b738706c47d7c4..89dfe3fb6cdcb9dd32a00088f2e6b3325f03cf4e 100755 (executable)
@@ -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"