Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,19 +18,26 @@ references:
openjdk-8-jre \
openssh-server \
python3-pip \
ttf-dejavu
python3-venv \
fonts-dejavu
python3 -m venv venv
source venv/bin/activate
pip3 install -r requirements.txt
make_docs: &make_docs
run:
name: Build the documentation
command: |
source venv/bin/activate
make html
store_docs: &store_docs
store_artifacts:
path: _build/html
destination: html
publish_docs: &publish_docs
run:
name: Publish the documentation
command: |
source venv/bin/activate
make publish
install_deployment_key: &install_deployment_key
add_ssh_keys:
Expand All @@ -55,7 +62,7 @@ commands:
executors:
docs_exec:
docker:
- image: ubuntu:focal
- image: ubuntu:latest
working_directory: /nav2_docs

jobs:
Expand Down
2 changes: 0 additions & 2 deletions conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -119,12 +119,10 @@
sys.stderr.write('Warning: sphinx_rtd_theme missing. Use pip to install it.\n')
else:
html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
html_theme_options = {
'canonical_url': '',
'analytics_id': 'G-EVD5Z6G6NH',
'logo_only': False,
'display_version': True,
'prev_next_buttons_location': 'None',
# Toc options
'collapse_navigation': False,
Expand Down
10 changes: 5 additions & 5 deletions requirements.txt
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
breathe==4.35.0
docutils==0.15
breathe==4.36.0
docutils==0.21
jinja2==3.1.6
myst-parser==1.0.0
myst-parser==4.0.1
sphinx_copybutton==0.5.2
sphinx_rtd_theme==2.0.0
sphinx_rtd_theme==3.0.2
sphinx-autobuild
sphinx==5.3.0
sphinx==8.2.3
sphinxcontrib-plantuml