redirects -> _redirects

This commit is contained in:
LukeMathWalker 2024-08-06 17:34:08 +02:00
parent c9ed60daf5
commit 05e3efd298
2 changed files with 2 additions and 2 deletions

View File

@ -101,10 +101,10 @@ jobs:
- uses: actions/checkout@v3
- run: sudo apt-get update && sudo apt-get install -y jq
- run: |
./helpers/json2redirects.sh book/link2alias.json > site/redirects
./helpers/json2redirects.sh book/link2alias.json > site/_redirects
# Verify nothing has changed, meaning that the redirect file is up-to-date
- run: |
git diff --exit-code site/redirects
git diff --exit-code site/_redirects
formatter:
runs-on: ubuntu-latest