diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index ef7b9d51ba..0732c5ccd4 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -57,6 +57,9 @@ html_use_smartypants = True html_use_opensearch = 'https://downloads.haskell.org/~ghc/master/users-guide' html_show_copyright = True +# See GHC #15006 +mathjax_path = 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js' + # If true, an OpenSearch description file will be output, and all pages will # contain a <link> tag referring to it. The value of this option must be the # base URL from which the finished HTML is served. |