make files available in chunked html output dir

svbaelen · Oct 18, 2024 · a1fd8a8 · a1fd8a8
1 parent 15f519d
commit a1fd8a8
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/src/scripts/sidebar.js b/src/scripts/sidebar.js
@@ -34,9 +34,7 @@ function sidebarBtns() {
   const btnHome = document.querySelector("#btn-home");
   btnHome.style.display = "flex";
   btnHome.addEventListener("click", (ev) => {
-    window.open(
-      `${baseUrl}`
-    );
+    window.location.href = baseUrl;
   });
 
 }

diff --git a/utils/entrypoint.sh b/utils/entrypoint.sh
@@ -302,8 +302,16 @@ else
         done
 
         if [ $HTTP_SERVE = 1 ];then
+
             servedir="$OUTPUT_DIR$SUBPATH" # subpath by default = ""
             cd /app/$servedir
+
+            # move everything from build dir to chunked html dir
+            if [ $CHUNKED_HTML = 1 ];then
+                mv -f ../*.tex .
+                mv -f ../*.pdf .
+            fi
+
             printf "[INFO - main] "
             printf "=> ----------------------------------------------\n"
             echo "[INFO - main] => serving at http://localhost:$HTTP_PORT (in $servedir)"