1 files changed, 15 insertions, 0 deletions

diff --git a/devel/llvm12/files/patch-lldb_docs_conf.py b/devel/llvm12/files/patch-lldb_docs_conf.py
new file mode 100644
index 000000000000..80007ecd83ba
--- /dev/null
+++ b/devel/llvm12/files/patch-lldb_docs_conf.py
@@ -0,0 +1,15 @@
+--- lldb/docs/conf.py.orig
++++ lldb/docs/conf.py
+@@ -97,9 +97,9 @@
+ # Theme options are theme-specific and customize the look and feel of a theme
+ # further.  For a list of options available for each theme, see the
+ # documentation.
+-html_theme_options = {
+-    'font_size': '11pt'
+-}
++#html_theme_options = {
++#    'font_size': '11pt'
++#}
+ 
+ # Add any paths that contain custom themes here, relative to this directory.
+ #html_theme_path = []