You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
347 B
12 lines
347 B
--- ghc-8.8.4/docs/users_guide/conf.py~ 2020-07-09 00:43:03.000000000 +0800
|
|
+++ ghc-8.8.4/docs/users_guide/conf.py 2021-07-01 00:09:03.537324304 +0800
|
|
@@ -77,7 +77,7 @@
|
|
latex_elements = {
|
|
'inputenc': '',
|
|
'utf8extra': '',
|
|
- 'preamble': '''
|
|
+ 'preamble': r'''
|
|
\usepackage{fontspec}
|
|
\usepackage{makeidx}
|
|
\setsansfont{DejaVu Sans}
|