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.
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.
