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: Feb 01 2023 at 11:04 UTC