rm searhcindex.json

This commit is contained in:
Carlos Polop
2025-04-21 00:14:09 +02:00
parent 13e0bddd0c
commit d22733b802
19 changed files with 19 additions and 57 deletions

View File

@@ -45,8 +45,7 @@ jobs:
git config --global user.name "Build master"
git config pull.rebase false
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -70,8 +70,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"

View File

@@ -71,8 +71,7 @@ jobs:
(git checkout $BRANCH
git pull
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
git add searchindex.js searchindex.json
git add searchindex.js
git commit -m "Update searchindex for $BRANCH"
git push) || echo "No changes to searchindex.js"