Moving to separate source and build folders

.gitignore

@@ -1,2 +1,3 @@
-_build/
-.venv/
+build/
+.venv/
+.vscode/

Makefile

@@ -5,8 +5,8 @@
 # from the environment for the first two.
 SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
-SOURCEDIR     = .
-BUILDDIR      = _build
+SOURCEDIR     = source
+BUILDDIR      = build
 
 # Put it first so that "make" without argument is like "make help".
 help:

make.bat

@@ -7,8 +7,8 @@ REM Command file for Sphinx documentation
 if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
-set SOURCEDIR=.
-set BUILDDIR=_build
+set SOURCEDIR=source
+set BUILDDIR=build
 
 %SPHINXBUILD% >NUL 2>NUL
 if errorlevel 9009 (

requirements.txt

@@ -1 +1,2 @@
-furo==2023.5.20
+furo==2023.5.20
+sphinx-intl==2.1.0

source/conf.py

@@ -25,3 +25,7 @@ language = 'de'
 
 html_theme = 'furo'
 html_static_path = ['_static']
+
+# Translation stuff
+locale_dirs = ['locale/']   # path is example but recommended.
+gettext_compact = False     # optional.