2021-11-19 00:37:28 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2022-01-29 20:39:26 +01:00
|
|
|
mkdir build
|
|
|
|
|
make -e SPHINXOPTS="-D language='en'" -e BUILDDIR=build/en html
|
2021-11-19 00:37:28 +01:00
|
|
|
make -e SPHINXOPTS="-D language='fr'" -e BUILDDIR=build/fr html
|
|
|
|
|
make -e SPHINXOPTS="-D language='nl'" -e BUILDDIR=build/nl html
|
|
|
|
|
|
2022-01-29 20:39:26 +01:00
|
|
|
make -e SPHINXOPTS="-D language='en'" -e BUILDDIR=build/en gemini
|
2021-11-19 00:37:28 +01:00
|
|
|
make -e SPHINXOPTS="-D language='fr'" -e BUILDDIR=build/fr gemini
|
|
|
|
|
make -e SPHINXOPTS="-D language='nl'" -e BUILDDIR=build/nl gemini
|
