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.
Depending on what you mean by snippet, you might be interested in the solution discussed in this earlier thread: #Coq users > Alectryon in slides
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)
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