enable pretty_urls hack in github build

thosgood · Sep 29, 2023 · 4467142 · 4467142
1 parent d1c2aa4
commit 4467142
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -52,6 +52,10 @@ jobs:
           R -e "install.packages('magick')"
           R -e "install.packages('pdftools')"
 
+      - name: Enable pretty URLs hack
+        run: |
+          echo '<script type="text/javascript" src="./web/pretty_urls.js"></script>' >> ./web/scripts.html
+
       - name: Build site
         run: |
           ./build_book