could we drop linking to DVI manuals from gnulib's
gendocs_template*?
As I replied to Paul, right now the maintainers guide requires dvi files
to be included in the uploaded manuals.
The change is trivial (below). --best, karl.
--- maintain.texi.~1.292.~ 2025-06-23 00:26:42.000000000 -0700
+++ maintain.texi 2025-07-19 15:05:35.093355575 -0700
@@ -2489,3 +2489,3 @@ there.
The web pages for the package should include its manuals, in HTML,
-DVI, Info, PDF, plain ASCII, and the source Texinfo. All of these can
+Info, PDF, plain ASCII, and the source Texinfo. All of these can
be generated automatically from Texinfo using Makeinfo and other
@@ -2560,3 +2560,3 @@ gendocs.sh --email bug-texinfo@@gnu.org
the manual generated in all the standard output formats: Info, HTML,
-DVI, and so on, as well as the Texinfo source. You then need to move
+and so on, as well as the Texinfo source. You then need to move
all those files, retaining the subdirectories, into the web pages for
