From a41c8dbcb3eff7497cb388a5f87c9098e8d6c11d Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Tue, 12 May 2020 20:54:11 -0600
Subject: [PATCH] change to use default sphinx build version

---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 6f26ca799..1f299ec6b 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line.
 SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build-3.6
+SPHINXBUILD   = sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build