Update DocsNav.yml

.github/workflows/DocsNav.yml

@@ -3,6 +3,8 @@ name: Add Navbar
 on:
  page_build: # Triggers the workflow on push events to gh-pages branch
  workflow_dispatch: # Allows manual triggering
+ schedule:
+ - cron: '0 0 * * 0' # Runs every week on Sunday at midnight (UTC)
 
 jobs:
  add-navbar:
@@ -27,9 +29,12 @@ jobs:
  run: |
  git config user.name github-actions[bot]
  git config user.email github-actions[bot]@users.noreply.github.com
+
+ # Define the URL of the navbar to be used
+ 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 .
+ ./insert_navbar.sh . $NAVBAR_URL
  
  # Remove the insert_navbar.sh file
  rm insert_navbar.sh
@@ -41,4 +46,4 @@ jobs:
  git push "https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" gh-pages
  else
  echo "No changes to commit"
- fi
+ fi