diff options
| -rw-r--r-- | AUTHORS | 1 | ||||
| -rw-r--r-- | docs/conf.py | 6 |
2 files changed, 6 insertions, 1 deletions
@@ -110,6 +110,7 @@ answer newbie questions, and generally made Django that much better: Anubhav Joshi <anubhav9042@gmail.com> Anvesh Mishra <anveshgreat11@gmail.com> Anže Pečar <anze@pecar.me> + A. Rafey Khan <khanxbahria@gmail.com> Aram Dulyan arien <regexbot@gmail.com> Arjun Omray <arjunomray@gmail.com> diff --git a/docs/conf.py b/docs/conf.py index 2c578d5a8d..b72b1afcf5 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -292,8 +292,12 @@ latex_elements = { \setmainfont{Symbola} """, "preamble": r""" - \usepackage{newunicodechar} \usepackage[UTF8]{ctex} + \xeCJKDeclareCharClass{HalfLeft}{"2018, "201C} + \xeCJKDeclareCharClass{HalfRight}{ + "00B7, "2019, "201D, "2013, "2014, "2025, "2026, "2E3A + } + \usepackage{newunicodechar} \newunicodechar{π}{\ensuremath{\pi}} \newunicodechar{≤}{\ensuremath{\le}} \newunicodechar{≥}{\ensuremath{\ge}} |