diff -up offlineimap-7.2.4/docs/Makefile.py3 offlineimap-7.2.4/docs/Makefile
--- offlineimap-7.2.4/docs/Makefile.py3	2019-07-11 22:37:22.171607330 -0400
+++ offlineimap-7.2.4/docs/Makefile	2019-07-11 22:37:27.977662561 -0400
@@ -7,7 +7,7 @@ HTML_TARGETS = $(patsubst %.rst,%.html,$
 RM = rm
 RST2HTML=`type rst2html >/dev/null 2>&1 && echo rst2html || echo rst2html.py`
 RST2MAN=`type rst2man >/dev/null 2>&1 && echo rst2man || echo rst2man.py`
-SPHINXBUILD = sphinx-build
+SPHINXBUILD = sphinx-build-3
 
 docs: man api