File tree Expand file tree Collapse file tree 4 files changed +4
-60
lines changed Expand file tree Collapse file tree 4 files changed +4
-60
lines changed Original file line number Diff line number Diff line change 8
8
push :
9
9
branches :
10
10
- master
11
+ - main
11
12
paths :
12
13
- " docs/**"
13
14
- " .github/workflows/sphinx.yml"
@@ -35,11 +36,10 @@ jobs:
35
36
- name : Build Documentation
36
37
run : make docs
37
38
- name : Extract Source Strings
38
- if : github.ref == 'refs/heads/master' || github.ref == 'refs/heads/main'
39
39
working-directory : docs
40
40
run : |
41
- make gettext
42
- sphinx-intl update -p _build/gettext -l en
41
+ sphinx-build -M gettext ./ ./_build/
42
+ sphinx-intl update -p ./ _build/gettext -l en
43
43
- name : Push Strings to Master
44
44
if : github.ref == 'refs/heads/master' || github.ref == 'refs/heads/main'
45
45
run : make git-commit
Original file line number Diff line number Diff line change @@ -60,7 +60,7 @@ dev-env: ## install libraries required to build docs and run tests
60
60
@pip install -r requirements-dev.txt
61
61
62
62
docs : # # build HTML documentation
63
- make -C docs html
63
+ sphinx-build docs/ docs/_build/
64
64
65
65
git-commit : LOCAL_PATH?=.
66
66
git-commit : GITHUB_SHA?=$(shell git rev-parse HEAD)
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments