On Fri, Sep 12, 2025 at 3:51 AM Paul Eggert <[email protected]> wrote:
> On 2025-09-11 19:43, Richard Stallman wrote:
> > Looking at standards.texi and make-stds.texi, I don't see anything that
> > requires DVI format. All it says is how to handle generating DVI format
> > if you want to handle it.
>
> In many places DVI was merely an example, but in a few places it seemed
> to be required or at least recommended. For example, maintain.texi said
> a package's web pages "should include its manuals, in ... DVI ..." form,
> and standards.texi said that 'configure' "should take" the --dvidir option.
>
The GNU Coding Standards, Chapter 1, says:[0]
If you did not obtain this file directly from the GNU project and
recently, please check for a newer version. You can get the GNU Coding
Standards from the GNU web server in many different formats, including
the Texinfo source, PDF, HTML, DVI, plain text, and more, at:
https://www.gnu.org/prep/standards/.
DVI (and recipes for the output format) is referenced in additional places
in the manual.
> And the examples of DVI were confusing. Hardly anybody uses DVI now;
> everybody uses PDF instead. But the GNU standards spent their time
> discussing DVI, in some places to the exclusion of PDF. Although
> old-timers like you and I know what's going on, it was confusing to
> everyone else.
>
> > The diff you sent seems ok to me. It uses PDF as an example
> > nstead of DVI.
>
> OK, thanks for the review; I installed it.
>
[0] https://www.gnu.org/prep/standards/standards.html
Jeff
