[movies] Use new LuaLaTeX backend

coq-community · Aug 16, 2021 · 6900eb5 · 6900eb5
1 parent 7007297
commit 6900eb5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/movies/extract_snippets/docutils.py b/doc/movies/extract_snippets/docutils.py
@@ -24,7 +24,7 @@ def coq_rst_to_latex(source: str) -> str:
     :param source: source to conver
     :return:
     """
-    from alectryon.docutils import LatexWriter
+    from alectryon.docutils import LuaLatexWriter
     from docutils.core import publish_string
     from alectryon.docutils import RSTCoqParser as Parser
 
@@ -43,7 +43,7 @@ def coq_rst_to_latex(source: str) -> str:
     return publish_string(
         source=source.encode("utf-8"),
         parser=parser, parser_name=None,
-        writer=LatexWriter(), writer_name=None,
+        writer=LuaLatexWriter(), writer_name=None,
         settings=None, settings_spec=None,
         settings_overrides=settings_overrides, config_section=None,
         enable_exit_status=True).decode("utf-8")