1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-20 04:00:41 -04:00
ports/devel/llvm-devel/files/lldb/patch-tools_lldb_docs_conf.py
2019-07-03 20:45:40 +00:00

15 lines
455 B
Python

--- tools/lldb/docs/conf.py.orig
+++ tools/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 = []