Temporary fix for 404 error (#1791)

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
source-academy · Jun 14, 2021 · 872bed5 · 872bed5
1 parent b27072d
commit 872bed5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-development.yml b/.github/workflows/build-development.yml
@@ -40,7 +40,7 @@ jobs:
         ln -s index.html build/playground.html
         ln -s index.html build/contributors.html
         ln -s index.html build/sourcecast.html
-        ln -s index.html build/sicp.html
+        ln -s index.html build/interactive-sicp.html
       # the `ln`s above are a hack to make GitHub Pages route /playground
       # and /contributors etc to index, instead of 404-ing.
       env: