diff --git a/docs/README.md b/docs/README.md index f5373d002..2ba38f0bc 100644 --- a/docs/README.md +++ b/docs/README.md @@ -14,7 +14,7 @@ You need the following tools to build the documentation: `pip install sphinx_rtd_theme` * 404 Page generator `pip install sphinx-notfound-page` * If you want to build the PDF documentation, you also need a LaTeX - distribution that includes xetex, and install the following fonts: Charter, + distribution that includes xetex, and install the following fonts: Noto Serif, Lato and Inconsolata. To build the HTML documentation, simply run `make html`. To build the PDF, run `make latexpdf`. diff --git a/docs/conf.py b/docs/conf.py index 5781d0ac9..6d72b14dd 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -272,7 +272,7 @@ # "papersize": "a4paper", "fontpkg": r""" -\IfFontExistsTF{XCharter}{\setmainfont{XCharter}}{\setmainfont{Charter}} +\setmainfont{Noto Serif} \setsansfont{Lato} \setmonofont{Inconsolata} """,