CHORE: modified Sphinx make file and index.html

Followed this response sphinx-doc/sphinx#3382 (comment) to try to make GitHub pages work
EricWiener · Jan 5, 2021 · 590a4d5 · 590a4d5
1 parent 5203fd9
commit 590a4d5
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -6,7 +6,7 @@
 SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
-BUILDDIR      = _build
+BUILDDIR      = docs
 AUTODOCDIR    = api
 
 # User-friendly check for sphinx-build

diff --git a/docs/docs/doctrees/environment.pickle b/docs/docs/doctrees/environment.pickle
diff --git a/docs/docs/html/searchindex.js b/docs/docs/html/searchindex.js
diff --git a/docs/index.html b/docs/index.html
@@ -1 +1 @@
-<meta http-equiv="refresh" content="0; url=./_build/html/index.html" />
+<meta http-equiv="refresh" content="0; url=./html/index.html" />