From: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Date: Sun, 3 Oct 2021 11:27:00 +0000 (+0100)
Subject: Fix build with newer Sphinx
X-Git-Tag: archive/raspbian/8.8.4-3+rpi1~1^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=38fb52f8222e3b33ebbc231f384ada1a5b2f2bbb;p=ghc.git

Fix build with newer Sphinx

Origin: https://gitlab.haskell.org/ghc/ghc/-/commit/83407ffc7acc00cc025b9f6ed063add9ab9f9bcc
Bug-Debian: https://bugs.debian.org/995429

This is a partial cherry-pick of 83407ffc7acc00cc025b9f6ed063add9ab9f9bcc.

Gbp-Pq: Name newer-sphinx
---

diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
index 0335be6f..a98a709b 100644
--- a/docs/users_guide/conf.py
+++ b/docs/users_guide/conf.py
@@ -77,13 +77,13 @@ htmlhelp_basename = 'GHCUsersGuide'
 latex_elements = {
     'inputenc': '',
     'utf8extra': '',
-    'preamble': '''
+    'preamble': r'''
 \usepackage{fontspec}
 \usepackage{makeidx}
 \setsansfont{DejaVu Sans}
 \setromanfont{DejaVu Serif}
 \setmonofont{DejaVu Sans Mono}
-\setlength{\\tymin}{45pt}
+\setlength{\tymin}{45pt}
 ''',
 }