absolute link substitution using sed in pages deployment

coq-community · Jul 26, 2024 · a4b22ce · a4b22ce
1 parent 61c1ba2
commit a4b22ce
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml
@@ -18,12 +18,13 @@ jobs:
       - name: Copy content to deploy
         run: |
           mkdir public
+          sed -i -e 's,(\(src/.*\.v\)),(https://github.com/coq-community/coq-tricks/blob/main/\1),g' README.md
           cp README.md public/index.md
           echo 'theme: jekyll-theme-cayman' > public/_config.yml
 
       - name: Deploy to GitHub pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/main'
-        uses: crazy-max/ghaction-github-pages@v2
+        uses: crazy-max/ghaction-github-pages@v4
         with:
           build_dir: public
           target_branch: gh-pages