move build directory

RMeli · Aug 1, 2022 · dc24fa6 · dc24fa6
1 parent 59b6791
commit dc24fa6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -64,6 +64,7 @@ instance/
 
 # Sphinx documentation
 docs/_build/
+docs/build/
 
 # PyBuilder
 target/

diff --git a/docs/Makefile b/docs/Makefile
@@ -6,7 +6,7 @@ SPHINXOPTS =
 SPHINXBUILD = sphinx-build
 SPHINXPROJ = gninatorch
 SOURCEDIR = source
-BUILDDIR = _build
+BUILDDIR = build
 
 # Put it first so that "make" without argument is like "make help".
 help: