summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarit.de>2021-04-17 18:20:29 +0200
committerMarkus Heiser <markus.heiser@darmarit.de>2021-04-23 11:26:22 +0200
commitd0e371f474627c878c179dc62610cb0437ae193b (patch)
tree580f2efb7512597d9c32e115e821bff2f5fb6bfc /.github
parent720d0d48ad2e36f08debc815f6be2d53e4767a8d (diff)
[mod] replace makefile boilerplate by 'manage' script
Replaces the make targets with the bash scripts Signed-off-by: Markus Heiser <markus@darmarit.de>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/data-update.yml3
-rw-r--r--.github/workflows/integration.yml7
2 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/data-update.yml b/.github/workflows/data-update.yml
index ae5acdbd..95a0808b 100644
--- a/.github/workflows/data-update.yml
+++ b/.github/workflows/data-update.yml
@@ -40,8 +40,7 @@ jobs:
env:
FETCH_SCRIPT: ./searx_extra/update/${{ matrix.fetch }}
run: |
- source local/py3/bin/activate
- $FETCH_SCRIPT
+ V=1 manage pyenv.cmd python "$FETCH_SCRIPT"
- name: Create Pull Request
id: cpr
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index 4cbb930d..f1d9692e 100644
--- a/.github/workflows/integration.yml
+++ b/.github/workflows/integration.yml
@@ -59,7 +59,7 @@ jobs:
- name: Install node dependencies
run: make V=1 node.env
- name: Build themes
- run: make V=1 themes
+ run: make V=1 themes.all
documentation:
name: Documentation
@@ -77,14 +77,15 @@ jobs:
python-version: '3.9'
architecture: 'x64'
- name: Build documentation
- run: SEARX_DEBUG=1 make V=1 ci-gh-pages
+ run: |
+ make V=1 docs.clean docs.html
- name: Deploy
if: github.ref == 'refs/heads/master'
uses: JamesIves/github-pages-deploy-action@3.7.1
with:
GITHUB_TOKEN: ${{ github.token }}
BRANCH: gh-pages
- FOLDER: build/gh-pages
+ FOLDER: dist/docs
CLEAN: true # Automatically remove deleted files from the deploy branch
dockers: