diff options
| author | Brooks Davis <brooks@FreeBSD.org> | 2020-07-28 20:21:04 +0000 |
|---|---|---|
| committer | Brooks Davis <brooks@FreeBSD.org> | 2020-07-28 20:21:04 +0000 |
| commit | 8c7fc49207b4a1437822247476289b0d6b1d255f (patch) | |
| tree | f0c1fea6c00c0e06300535120bbf1e6ccf7f246e /devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py | |
| parent | math/flint2: Update 2.6.0 -> 2.6.1 (diff) | |
Welcome 11.0.0rc1 to the tree.
Sponsored by: DARPA
Diffstat (limited to 'devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py')
| -rw-r--r-- | devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py b/devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py new file mode 100644 index 000000000000..6fd373c5e775 --- /dev/null +++ b/devel/llvm11/files/lldb/patch-tools_lldb_docs_conf.py @@ -0,0 +1,15 @@ +--- 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 = [] |