Update DocsNav.yml

shravanngoswamii · Dec 21, 2024 · 2bc7073 · 2bc7073
1 parent e0f9e3a
commit 2bc7073
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/DocsNav.yml b/.github/workflows/DocsNav.yml
@@ -34,7 +34,7 @@ jobs:
           NAVBAR_URL="https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/TuringNavbar.html"
          
           # Update all HTML files in the current directory (gh-pages root)
-          ./insert_navbar.sh . $NAVBAR_URL
+          bash ./insert_navbar.sh . $NAVBAR_URL
          
           # Remove the insert_navbar.sh file
           rm insert_navbar.sh