Commit 4466ca30 authored Jan 18, 2019 by Clint Adams

ghc(-doc): patch Sphinx config to use locally-installed MathJax instead of a...

ghc(-doc): patch Sphinx config to use locally-installed MathJax instead of a copy on the Internet.  closes: #919518.

parent a3731961

p/ghc/debian/changelog

+7 −0

Original line number	Diff line number	Diff line
		ghc (8.4.4+dfsg1-2) UNRELEASED; urgency=medium

		* Patch Sphinx config to use locally-installed MathJax instead of a
		copy on the Internet. closes: #919518.

		-- Clint Adams <clint@debian.org> Fri, 18 Jan 2019 17:36:40 -0500

		ghc (8.4.4+dfsg1-1) unstable; urgency=medium

		* New upstream release

p/ghc/debian/patches/local-mathjax

0 → 100644

+11 −0

Original line number	Diff line number	Diff line
		--- a/docs/users_guide/conf.py
		+++ b/docs/users_guide/conf.py
		@@ -58,7 +58,7 @@
		html_show_copyright = True

		# See GHC #15006
		-mathjax_path = 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js'
		+mathjax_path = 'file:///usr/share/javascript/mathjax/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

p/ghc/debian/patches/series

+1 −0

Original line number	Diff line number	Diff line
		@@ -15,3 +15,4 @@ add_-latomic_to_ghc-prim
		haddock-out-of-memory.patch
		kfreebsd-aclocal.m4
		revert-llvm-fixes
		local-mathjax