Update ci_build.yaml

Beluga-lang · Oct 5, 2024 · a9103b4 · a9103b4
1 parent 8a8bde5
commit a9103b4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
@@ -73,6 +73,7 @@ jobs:
                 mv theories/dep.html html/dep.html
                 cp assets/styling.css html/styling.css
                 cp -r assets/images html/images
+                sed -i 's!\[Coqdoc\](https://beluga-lang\.github\.io/McLTT/dep\.html)![Coqdoc](dep.html)!' README.md
                 pandoc README.md -H assets/include.html --no-highlight --metadata pagetitle='McLTT: A Bottom-up Approach to Implementing A Proof Assistant' -t html --css styling.css -o html/index.html
               fi
             endGroup