On Tue, Sep 30, 2025 at 10:51:29AM +0200, Simon Josefsson via Gnulib discussion list wrote: > Bruno Haible via Gnulib discussion list <[email protected]> writes: > > > Hi, > > > > Now that the GNU standards don't require DVI-format documentation any more > > [0][1][2], here's a proposed patch to change 'gendocs.sh' to no longer > > produce DVI-format documentation any more. > > > > Any objections? > > Looks great to me, thanks for follwing through on this. > > Is it still appropriate to use 'texi2dvi --pdf'? Why not use 'texi2pdf' > instead? Eventually the texi2dvi tool could fade away into > deprecation... this code would be a good sanity check to make sure that > the 'texi2pdf' tool is available everywhere where we want it to be.
Right now texi2pdf is a wrapper around texi2dvi, and calls 'texi2dvi --pdf'. I see little point in making it the other way around, as we should keep the possibility to generate DVI in any case as long as it is relevant as an output format, and I think that it should be for many years. I see no objection to have 'gendocs.sh' no longer produce DVI-format documentation any more, that being said, as DVI is a special case output. Also, I think that this could be discussed on the bug-texinfo list. -- Pat
