Change PDF doc main font to Noto Serif

MiniZinc · Oct 1, 2024 · fa02ebc · fa02ebc
1 parent 95f093d
commit fa02ebc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -272,7 +272,7 @@
     #
     "papersize": "a4paper",
     "fontpkg": r"""
-\IfFontExistsTF{XCharter}{\setmainfont{XCharter}}{\setmainfont{Charter}}
+\setmainfont{Noto Serif}
 \setsansfont{Lato}
 \setmonofont{Inconsolata}
 """,