3 ms·
Seems like rubber [1] is a commonly-used wrapper for this sort of thing. Works well in a makefile. [1] https://gitlab.com/latex-rubber/rubber/ https://gitlab.
by gjvc 5y ago
Seems like rubber [1] is a commonly-used wrapper for this sort of thing. Works well in a makefile.
[1] https://gitlab.com/latex-rubber/rubber/ https://gitlab.com/latex-rubber/rubber/