render with html5 writer; add links.js script

gdl-org · Apr 13, 2024 · 4f51eae · 4f51eae
1 parent 1a8ac6a
commit 4f51eae
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -40,7 +40,9 @@ jobs:
       run: |
         while read -r RST
         do
-          python -m docutils --writer=html --output="${RST%.rst}.html" -- "$RST"
+          HTML="${RST%.rst}.html"
+          python -m docutils --writer=html5 --output="$HTML" -- "$RST"
+          sed --in-place '/<\/head>/i <script src="links.js"></script>' -- "$HTML"
         done < <(find . -type f -name "*.rst")
 
     - uses: actions/jekyll-build-pages@v1