diff --git a/AUTHORS b/AUTHORS index 31f1b96313..2c2b8d5b13 100644 --- a/AUTHORS +++ b/AUTHORS @@ -110,6 +110,7 @@ answer newbie questions, and generally made Django that much better: Anubhav Joshi Anvesh Mishra Anže Pečar + A. Rafey Khan Aram Dulyan arien Arjun Omray 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}}