git.iko.soy/haskell.nix
on iko/ghcjs-patch-master help sign in
Fix building sphinx documentation with latest nixpkgs-unstable (#1154) (#1160)
commitd8f6361282fd39cde8d8ca8258ef0d57a546b282 authorKirill Kuznetsov <kirill.desirehd@gmail.com> dateTue 6 Jul 2021, 04:23 (5 years ago) parentf89fd29
2 files changed+21
compare with iko/ghcjs-patch-master
unifiedsplit
overlays/bootstrap.nix+1 overlays/patches/ghc/Sphinx_Unicode_Error.patch+20
overlays/bootstrap.nix+1
@@ -168,6 +168,7 @@ in {
168168 ++ fromUntil "8.10.5" "8.10.6" ./patches/ghc/ghc-8.10.5-add-rts-exports.patch
169169 ++ final.lib.optionals final.hostPlatform.isDarwin
170170 (fromUntil "8.10.5" "8.10.6" ./patches/ghc/ghc-8.10.5-darwin-allocateExec.patch)
171+ ++ until "8.10.6" ./patches/ghc/Sphinx_Unicode_Error.patch
171172 ;
172173 in ({
173174 ghc844 = final.callPackage ../compiler/ghc {
overlays/patches/ghc/Sphinx_Unicode_Error.patchnew file+20
@@ -0,0 +1,20 @@
1+diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
2+index 0732c5ccd4..47db25b84a 100644
3+--- a/docs/users_guide/conf.py
4++++ b/docs/users_guide/conf.py
5+@@ -77,13 +77,13 @@ htmlhelp_basename = 'GHCUsersGuide'
6+ latex_elements = {
7+ 'inputenc': '',
8+ 'utf8extra': '',
9+- 'preamble': '''
10++ 'preamble': r'''
11+ \usepackage{fontspec}
12+ \usepackage{makeidx}
13+ \setsansfont{DejaVu Sans}
14+ \setromanfont{DejaVu Serif}
15+ \setmonofont{DejaVu Sans Mono}
16+-\setlength{\\tymin}{45pt}
17++\setlength{\tymin}{45pt}
18+ ''',
19+ }
20+