meta: Drop tectonic

It's better to be pragmatic here and not choose tectonic when texlive
works extremely well and without any of the problems one would encounter
with tectonic.

The future of tectonic is unfortunately a mystery as well, due to the
status of the GitHub repository and its dependence on the unmaintained
XeTeX.

See: https://tex.stackexchange.com/questions/593031/what-are-the-downsides-of-using-xetex/593217#593217
This commit is contained in:
Donovan Glover 2024-08-11 16:11:53 -04:00
parent 7fb98bba38
commit 372f26662c
No known key found for this signature in database
GPG Key ID: EA7408A77AE1BE65

View File

@ -109,7 +109,6 @@ in
clippy
nodejs
deno
tectonic
;
})
];