aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorTG <tarik.graba@telecom-paris.fr>2025-01-27 16:22:50 +0100
committersenadm <senadm@local>2025-06-03 14:30:45 +0200
commit213d116050410a9e83166c8f88965183396f32d8 (patch)
tree59793605c66c41f2ae8d91e837178aac6d0650a7 /docs
parent8893d1365571f03f7e7e7f75970fa20a798ab8ca (diff)
Use Lualatex instead of plain pdfatex
Diffstat (limited to 'docs')
-rw-r--r--docs/source/conf.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 565663d..1d22dbf 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -33,3 +33,5 @@ html_theme_options = {
"titles_only": False
}
html_static_path = ['_static']
+
+latex_engine = 'lualatex'