diff --git a/build-docs.sh b/build-docs.sh new file mode 100755 index 0000000000000000000000000000000000000000..c1dcfdd030969b1980322b0458f4b10c51083a41 --- /dev/null +++ b/build-docs.sh @@ -0,0 +1 @@ +sphinx-build -b html -t drawio docs/source docs/build