Karl Berry <karl@freefriends.org> writes:

> For GNU packages, dvi and pdf will normally be tested anyway as part of
> a release, due to the need to upload the new manuals to www.gnu.org.
> Perhaps we should remove dvi from there ... -k

Yes, as a start, could we drop linking to DVI manuals from gnulib's
gendocs_template*?  That ought to (gradually) at least remove them from
users eyes.  The next step may be to stop generating the files, but that
is a bigger change and maybe the discussion needs to come to a still
before doing that is the right thing.

/Simon