This commit is contained in:
Carlos Polop 2025-04-13 17:29:02 +02:00
parent 56f4b39fbc
commit c36ba589ac
17 changed files with 17 additions and 17 deletions

View File

@ -44,7 +44,7 @@ jobs:
git config --global user.email "build@example.com"
git config --global user.name "Build master"
git config pull.rebase false
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -71,7 +71,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi

View File

@ -72,7 +72,7 @@ jobs:
run: |
git checkout $BRANCH
git pull
if [ -f "book/searchindex.js" ];
if [ -f "book/searchindex.js" ]; then
cp book/searchindex.js searchindex.js
cp book/searchindex.json searchindex.json
fi