Skip to content

Commit

Permalink
Trying to overcome ReadTheDocs bug
Browse files Browse the repository at this point in the history
  • Loading branch information
kerim371 committed Oct 18, 2023
1 parent 86d1ee2 commit ba67894
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
14 changes: 7 additions & 7 deletions source/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -76,13 +76,13 @@
html_theme_options = {
'logo_only': False,
'display_version': True,
'includehidden': False,
# Toc options
'collapse_navigation': True,
'sticky_navigation': True,
'navigation_depth': 4,
'includehidden': True,
'titles_only': False
# 'includehidden': False,
# # Toc options
# 'collapse_navigation': True,
# 'sticky_navigation': True,
# 'navigation_depth': 4,
# 'includehidden': True,
# 'titles_only': False
}

# These paths are either relative to html_static_path
Expand Down
2 changes: 1 addition & 1 deletion source/requirements.txt
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@ myst-parser
sphinx-markdown-tables
sphinx-notfound-page
linkify-it-py
sphinx-rtd-theme==1.3.0
sphinx-rtd-theme

0 comments on commit ba67894

Please sign in to comment.