File tree 2 files changed +34
-7
lines changed
2 files changed +34
-7
lines changed Original file line number Diff line number Diff line change
1
+ name : Docs
2
+
3
+ on :
4
+ push :
5
+ pull_request :
6
+ workflow_dispatch :
7
+
8
+ jobs :
9
+
10
+ BuildTheDocs :
11
+ name : BuildTheDocs
12
+ runs-on : ubuntu-latest
13
+
14
+ steps :
15
+
16
+ - name : ' Checkout'
17
+ uses : actions/checkout@v2
18
+
19
+ - name : ' Run BuildTheDocs and publish to GitHub Pages'
20
+ uses : buildthedocs/btd@v0
21
+ with :
22
+ token : ${{ github.token }}
23
+
24
+ - name : ' Upload artifacts'
25
+ uses : actions/upload-artifact@master
26
+ with :
27
+ name : doc
28
+ path : docs/_build/html
Original file line number Diff line number Diff line change 2
2
3
3
import os
4
4
import sys
5
+ from json import loads
5
6
from pathlib import Path
6
7
7
8
# -- Sphinx Options -----------------------------------------------------------
50
51
"style_nav_header_background" : "#0c479d" ,
51
52
"home_breadcrumbs" : False ,
52
53
}
53
- html_context = {
54
- "conf_py_path" : "%s/" % Path (__file__ ).parent .name ,
55
- "display_github" : True ,
56
- "github_user" : "VUnit" ,
57
- "github_repo" : "vunit" ,
58
- "github_version" : "master/" ,
59
- }
54
+
55
+ ctx = Path (__file__ ).resolve ().parent / 'context.json'
56
+ if ctx .is_file ():
57
+ html_context .update (loads (ctx .open ('r' ).read ()))
58
+
60
59
61
60
html_static_path = ["_static" ]
62
61
You can’t perform that action at this time.
0 commit comments