From 38fb52f8222e3b33ebbc231f384ada1a5b2f2bbb Mon Sep 17 00:00:00 2001
From: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Date: Sun, 3 Oct 2021 12:27:00 +0100
Subject: [PATCH] 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
---
 docs/users_guide/conf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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}
 ''',
 }
 
-- 
2.30.2