[lldb][docs] Attempt to disable the generated GitHub button on the LLDB website
For unknown reasons the alabaster theme on the docs server is always generating
a GitHub link in the side bar. Beside the privacy problems of having an iframe
to some third-party service, we never configured any GitHub integration so
this button just links to the GitHub main site.
The button generation should be disabled by default, but as that's apparently
not true in the alabaster theme on the server, this patch tries working around
the issue by just explicitly turning off the GitHub integration.
GitOrigin-RevId: 2939d2e1b46c05432864db333ca3d5cb7ab83533
diff --git a/docs/conf.py b/docs/conf.py
index b9b9467..d55aad2 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -130,7 +130,9 @@
# further. For a list of options available for each theme, see the
# documentation.
html_theme_options = {
- 'font_size': '11pt'
+ 'font_size': '11pt',
+ # Don't generate any links to GitHub.
+ 'github_button' : 'false',
}
# Add any paths that contain custom themes here, relative to this directory.
