From 0dca4d91c2aedcddc55a20692d567c05b59bf823 Mon Sep 17 00:00:00 2001 From: Ondrej Nosek Date: Mar 13 2020 11:40:43 +0000 Subject: Run newer version of sphinx-build tool Signed-off-by: Ondrej Nosek --- diff --git a/doc/Makefile b/doc/Makefile index e4ddd61..fdb97ed 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXBUILD = sphinx-build +SPHINXBUILD = sphinx-build-3 SPHINXPROJ = rpkg SOURCEDIR = source BUILDDIR = build