Deploy Slides to GitHub Pages

Render Quarto slides and sync all files to docs/ for GitHub Pages deployment.

Steps

1. Run the sync script:

   • If $ARGUMENTS is provided (e.g., "Lecture4"): ./scripts/sync_to_docs.sh $ARGUMENTS
   • If no argument: ./scripts/sync_to_docs.sh (syncs all lectures)

2. Verify deployment:

   • Check that HTML files exist in docs/slides/
   • Check that _files/ directories were copied (RevealJS assets)
   • Check that docs/Figures/ was synced from Figures/

3. Verify interactive charts (if applicable):

   • Grep rendered HTML for interactive widget count
   • Confirm count matches expected