match current Makefile use

prjemian · Oct 23, 2018 · 7078309 · 7078309
1 parent 5f0ff94
commit 7078309
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/debug-sphinx-build.py b/docs/debug-sphinx-build.py
@@ -14,9 +14,10 @@
 
 def main():
     options = """
-    -b html -d {builddir}/doctrees {paperopt} {sphinxopts} source  {builddir}/html
+    -b html {sourcedir}  {builddir}/html {sphinxopts}
     """.format(
-        builddir=os.getcwd(),
+        sourcedir="source",
+        builddir=os.path.join(os.getcwd(), "build"),
         paperopt="-D latex_paper_size=letter",
         sphinxopts="",
         ).strip()