It seems this is just a modernized equivalent of latexmk. Such a one would certainly be useful, but as such how does it differ crucially from Pandoc's built-in "direct-to-pdf" mode, apart from its download-on-demand feature? Also it seems to be married to BibTeX.

/bpj


Den 1 jun 2017 16:41 skrev "Tahir Butt" <tahir.butt-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>:
I just learned of tectonic and would think it could serve the pandoc community very well. I am not familiar with the TeX engine world but it seems this project is very promising. It is based on XeTeX and can be built as a library, making it something that could come packaged with the pandoc binary. Further it automatically downloads any supporting files that are needed to compile a tex file and avoids creating intermediate files.

Would adding support be as simple as adding it to the list here in Text.Pandoc.PDF?

https://github.com/jgm/pandoc/blob/master/src/Text/Pandoc/PDF.hs#L124

prog | prog `elem` ["pdflatex", "lualatex", "xelatex"]

--
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe@googlegroups.com.
To post to this group, send email to pandoc-discuss@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/3bbd71f8-6ac4-4d30-bf3a-3d30b8590519%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CADAJKhBYqewDQACx%3DXB1GUeLhxH-6Yt0AoqbN%3DrfS2UB6QCUig%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.