diff options
| author | Stewart C. Russell <scruss@scruss.com> | 2021-01-17 22:56:29 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-06-21 14:49:13 +1000 |
| commit | f12754af06c83f06f2651f50109b84a9b700e12a (patch) | |
| tree | 9828c9be96af0388205147774a3ffecb707221bd /docs/conf.py | |
| parent | 9175482f29264b017534902bb65e23a2d6485006 (diff) | |
docs: Set LaTeX engine to XeLaTeX for PDF generation.
Also added to suggested packages list for PDF build.
See comment in Sphinx project for (some) details:
https://github.com/sphinx-doc/sphinx/pull/5693#pullrequestreview-180444650
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index d0c989eea..a7a4ab08c 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -259,6 +259,8 @@ latex_documents = [ # If false, no module index is generated. #latex_domain_indices = True +# Enable better Unicode support so that `make latexpdf` doesn't fail +latex_engine = "xelatex" # -- Options for manual page output --------------------------------------- |