File tree Expand file tree Collapse file tree 10 files changed +215
-981
lines changed
Expand file tree Collapse file tree 10 files changed +215
-981
lines changed Original file line number Diff line number Diff line change 1+ name : Deploy Sphinx Docs
2+
3+ on :
4+ push :
5+ branches : [sphinx-docs]
6+
7+ permissions :
8+ contents : read
9+ pages : write
10+ id-token : write
11+
12+ jobs :
13+ build :
14+ runs-on : ubuntu-latest
15+
16+ steps :
17+ - name : Checkout repo
18+ uses : actions/checkout@v4
19+
20+ - name : Set up Python
21+ uses : actions/setup-python@v5
22+ with :
23+ python-version : ' 3.10'
24+
25+ - name : Install dependencies
26+ run : |
27+ pip install -r requirements.txt
28+
29+ - name : Build docs with driverci
30+ run : |
31+ chmod +x driverci
32+ ./driverci
33+
34+ - name : Upload GitHub Pages artifact
35+ uses : actions/upload-pages-artifact@v2
36+ with :
37+ path : docs/build/html
38+
39+ deploy :
40+ needs : build
41+ runs-on : ubuntu-latest
42+ environment :
43+ name : github-pages
44+ url : ${{ steps.deployment.outputs.page_url }}
45+
46+ steps :
47+ - name : Deploy to GitHub Pages
48+ id : deployment
49+ uses : actions/deploy-pages@v2
Original file line number Diff line number Diff line change 1+ /* Expand the main content area */
2+ .bd-page-width {
3+ max-width : 100% !important ;
4+ width : 95% !important ;
5+ }
6+
7+ /* Expand the article body */
8+ .bd-content .bd-article-container {
9+ max-width : 100% !important ;
10+ width : 95% !important ;
11+ }
Original file line number Diff line number Diff line change 77# https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
88
99project = 'AMAGO'
10- copyright = '2025, UT Austin RPL '
11- author = 'UT Austin RPL '
12- release = '2'
10+ copyright = '2025, UT Austin Robot Perception and Learning Lab '
11+ author = 'UT Austin Robot Perception and Learning Lab '
12+ html_title = "AMAGO"
1313
1414# -- General configuration ---------------------------------------------------
1515# https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
5252html_theme = 'alabaster'
5353html_static_path = ['_static' , 'media' ]
5454
55- import sphinx_rtd_theme
56- html_theme = "sphinx_rtd_theme"
57- # html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
55+ html_css_files = [
56+ 'custom.css' ,
57+ ]
58+
59+ import sphinx_book_theme
60+ html_theme = "sphinx_book_theme"
61+
62+ html_theme_options = {
63+ "default_mode" : "light" ,
64+ }
5865
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments