publish from docs

second-reality · Oct 4, 2024 · bf0a37a · bf0a37a
1 parent 8176fb2
commit bf0a37a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -3,7 +3,7 @@
 set -euo pipefail
 
 script_dir=$(dirname $(readlink -f $0))
-out_folder="$script_dir/public/"
+out_folder="$script_dir/docs/"
 mkdir -p $out_folder
 
 sphinx_opt="-W -n -j auto" # warn, report missing ref, parallel