What's the status of this patch?
On Sun, Jun 6, 2021 at 12:55 PM Timothy <tecos...@gmail.com> wrote:
>
> Hey all,
>
> From the earlier discussion on this, I got feeling a consensus had
> reached that this is a good idea, as long as we check that latexmk is
> available first.
> As such, here is a patch changing the default LaTeX compiler to latexmk
> --- as long as it's available. For what it's worth I've been using this
> exact command in my personal config for months now, and it's worked
> excellently.
>
> --
> Timothy
>
