Stream: Coq users

Topic: Alectryon Snippets embedded in Latex

view this post on Zulip Raul (Jun 23 2022 at 16:38):

Is it possible to use Alectryon with Latex or Latex-snippets backend?
It says so in the description, but I keep getting an AssertionError.
Webpage works normally.

view this post on Zulip Théo Zimmermann (Jun 23 2022 at 16:45):

Depending on what you mean by snippet, you might be interested in the solution discussed in this earlier thread: #Coq users > Alectryon in slides

view this post on Zulip Raul (Jun 23 2022 at 18:06):

That's exactly what I want but i just get an AssertionError on (that's what the traceback shows):
assert tex.startswith(PYGMENTS_LATEX_PREFIX) and tex.endswith(PYGMENTS_LATEX_SUFFIX)

view this post on Zulip Raul (Jun 23 2022 at 18:08):

It happens when using alectryon for *.v -> *.tex, in *.v -> *.html works fine for me.
Even doing make in hydra-battles/doc/movies does give the error.

Last updated: Oct 04 2023 at 19:01 UTC