change build directory to '_build'

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>

.github/workflows/Doc.yml

@@ -34,15 +34,15 @@ jobs:
         uses: actions/upload-artifact@v2
         with:
           name: Documentation-HTML
-          path: build/sphinx/html
+          path: _build/html
 
       - name: 🚀 Publish site to GitHub Pages
         if: github.event_name != 'pull_request'
         run: |
-          cd build/sphinx/html
+          cd _build/html
           touch .nojekyll
           git init
-          cp ../../../.git/config ./.git/config
+          cp ../../.git/config ./.git/config
           git add .
           git config --local user.email "BuildTheDocs@GitHubActions"
           git config --local user.name "GitHub Actions"

.gitignore

@@ -1,4 +1,4 @@
-/source/build/
+/source/_build/
 /source/env/
 *.pyc
 *.sw*

Makefile

@@ -18,7 +18,7 @@ include third_party/make-env/conda.mk
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
-BUILDDIR      = build/sphinx
+BUILDDIR      = _build
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4

source/conf.py

@@ -32,7 +32,9 @@ master_doc = 'index'
 
 today_fmt = '%Y-%m-%d'
 
-exclude_patterns = []
+exclude_patterns = [
+    'env'
+]
 
 pygments_style = 'default'