File tree Expand file tree Collapse file tree 1 file changed +33
-0
lines changed Expand file tree Collapse file tree 1 file changed +33
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Document
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - master
7
+
8
+ jobs :
9
+ doc :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - name : Set up Python 3.7
14
+ uses : actions/setup-python@v2
15
+ with :
16
+ python-version : 3.7
17
+ - name : Install dependencies
18
+ run : |
19
+ python -m pip install --upgrade pip
20
+ pip install --user -r tools/requirements.txt
21
+ - name : Generate documents (and remove markdown)
22
+ run : |
23
+ cd tools &&
24
+ ./generate_document.py &&
25
+ rm ../document_ja/*.md ../document_en/*.md &&
26
+ mkdir generated &&
27
+ mv ../document_ja generated/ &&
28
+ mv ../document_en generated/
29
+ - name : Publish to github pages
30
+ uses : peaceiris/actions-gh-pages@v3
31
+ with :
32
+ github_token : ${{ secrets.ACTIONS_DEPLOY_KEY }}
33
+ publish_dir : ./tools/generated
You can’t perform that action at this time.
0 commit comments