From ed096f9a8f334354f0c2f69766fcfed2a3a02e59 Mon Sep 17 00:00:00 2001
From: Peter Kok <kretep@users.noreply.github.com>
Date: Thu, 15 Aug 2024 13:20:25 +0200
Subject: [PATCH] Update documentation build path

---
 docs/Makefile | 2 +-
 docs/make.bat | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 77f8132..6576817 100755
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -5,7 +5,7 @@ SPHINXOPTS    =
 SPHINXBUILD   = python -msphinx
 SPHINXPROJ    = paradigma
 SOURCEDIR     = .
-BUILDDIR      = _build
+BUILDDIR      = build
 
 # Put it first so that "make" without argument is like "make help".
 help:
diff --git a/docs/make.bat b/docs/make.bat
index acb4831..47aee85 100755
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -8,7 +8,7 @@ if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=python -msphinx
 )
 set SOURCEDIR=.
-set BUILDDIR=_build
+set BUILDDIR=build
 set SPHINXPROJ=paradigma
 
 if "%1" == "" goto help