Simon Josefsson wrote: > > On a Debian or Ubuntu system with the packages > > texinfo texlive-base texlive-latex-base > large cost for a small benefit. > The cost is installing all of texlive for each and every CI/CD job.
As said above, one doesn't need "all of texlive". Only texlive-base and texlive-latex-base. Also, it's a common technique for CI/CD jobs to combine all prerequisite software that one needs in one docker image, and whether that image is then 200 MB or 500 MB large, hardly matters. Having said that, I would be in favour of retiring the DVI format from the GNU Coding Standards. The DVI format was commonplace in the 1990ies, but lost popularity to the PDF format starting 2008 (when PDF became an open standard). Nowadays, even the math arXiv does not offer DVI as a download format any more [1]. But this needs to be done through the proper channels: first the GNU standards, then GNU Autoconf and Automake. Bruno [1] https://arxiv.org/format/2507.12954
