From f12754af06c83f06f2651f50109b84a9b700e12a Mon Sep 17 00:00:00 2001 From: "Stewart C. Russell" Date: Sun, 17 Jan 2021 22:56:29 -0500 Subject: [PATCH] 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 --- docs/README.md | 6 +++--- docs/conf.py | 2 ++ 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/README.md b/docs/README.md index 1591911c34..892726ba17 100644 --- a/docs/README.md +++ b/docs/README.md @@ -47,7 +47,7 @@ This can be achieved with: make latexpdf -but require rather complete install of LaTeX with various extensions. On -Debian/Ubuntu, try (500MB+ download): +but requires a rather complete install of LaTeX with various extensions. On +Debian/Ubuntu, try (1GB+ download): - apt-get install texlive-latex-recommended texlive-latex-extra + apt install texlive-latex-recommended texlive-latex-extra texlive-xetex texlive-fonts-extra cm-super xindy diff --git a/docs/conf.py b/docs/conf.py index d0c989eeaa..a7a4ab08c5 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 ---------------------------------------