lee/renderdoc
1
0
Fork 0
mirror of https://github.com/baldurk/renderdoc.git synced 2026-05-06 01:50:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

If sphinx_rtd_theme_chm_friendly directory is missing, use normal theme

Browse Source
This commit is contained in:
baldurk
2018-08-06 17:00:48 +01:00
parent 8e2a2b13c1
commit fbec9c13aa
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/conf.py
+5 -2
View File
@@ -320,8 +320,11 @@ texinfo_documents = [
#texinfo_no_detailmenu = False
# custom theme based on sphinx_rtd_theme
html_theme = "sphinx_rtd_theme_chm_friendly"
html_theme_path = ["."]
if os.path.isdir('sphinx_rtd_theme_chm_friendly'):
html_theme = "sphinx_rtd_theme_chm_friendly"
html_theme_path = ["."]
else:
html_theme = "sphinx_rtd_theme"
html_context = {
'show_source': False,