From 112d2c51a58f9caf10d53ea98a82228984a7316c Mon Sep 17 00:00:00 2001
From: Hantao Cui <cuihantao@gmail.com>
Date: Tue, 14 Mar 2023 21:36:52 +0000
Subject: [PATCH] Use a different latex engine

---
 docs/source/conf.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 016f11c34..e59ebfbbc 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -104,6 +104,9 @@
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = False
 
+# Use a different latex engine due to possible Unicode characters in the documentation:
+# https://docs.readthedocs.io/en/stable/guides/pdf-non-ascii-languages.html
+latex_engine = "xelatex"
 
 # -- Options for HTML output ----------------------------------------------