diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2021-07-27 18:49:07 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2021-07-27 18:50:20 +0000 |
| commit | 3036f585e6b6af48cb255acf2cdc156c243afe95 (patch) | |
| tree | 6fa97aed14ff0238f9eb3009c8c16699afbc7d9a | |
| parent | 31538e49e28778b1f69491fea6cc1119463d3a6f (diff) | |
| download | ports-3036f585e6b6af48cb255acf2cdc156c243afe95.tar.gz ports-3036f585e6b6af48cb255acf2cdc156c243afe95.zip | |
lang/ghc: Fix build with new Sphinx.
PR: 257411
| -rw-r--r-- | lang/ghc/files/patch-sphinx-fix.diff | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/lang/ghc/files/patch-sphinx-fix.diff b/lang/ghc/files/patch-sphinx-fix.diff new file mode 100644 index 000000000000..3cfc4c03b6ff --- /dev/null +++ b/lang/ghc/files/patch-sphinx-fix.diff @@ -0,0 +1,27 @@ +https://bugs.gentoo.org/792558 + +From 83407ffc7acc00cc025b9f6ed063add9ab9f9bcc Mon Sep 17 00:00:00 2001 +From: Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> +Date: Fri, 25 Sep 2020 02:52:19 +0200 +Subject: [PATCH] Various documentation fixes + +* Use r'' in conf.py. This fixes a Sphinx warning: + WARNING: Support for evaluating Python 2 syntax is deprecated and will be removed in Sphinx 4.0. Convert docs/users_guide/conf.py to Python 3 syntax. +--- docs/users_guide/conf.py ++++ docs/users_guide/conf.py +@@ -100,13 +100,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} + ''', + } + |