Re: epsf.tex: New file
Simon Josefsson via Gnulib discussion list <[email protected]> Sat, 19 Jul 2025 21:28:03 +0200
| Newsgroups | gmane.comp.lib.gnulib.bugs,gmane.comp.sysutils.automake.bugs |
|---|---|
| Message-ID | <[email protected]> |
--=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Bruno Haible via Gnulib discussion list <[email protected]> writes: > Having said that, I would be in favour of retiring the DVI format from > the GNU Coding Standards. The DVI format was commonplace in the 1990ies, > but lost popularity to the PDF format starting 2008 (when PDF became an > open standard). Nowadays, even the math arXiv does not offer DVI as a > download format any more [1]. But this needs to be done through the > proper channels: first the GNU standards, then GNU Autoconf and Automake. Right. I would say that the days of the DVI and PS formats are probably long gone, and definitely as a default format. PDF has won. I tried to find any strong recommendation about DVI in the "standards" and "maintain" manuals, but couldn't find anything. There are some references to DVI that may better be to PDF but as far as I could tell, everything about documentation formats beyond *.info files are optional: https://www.gnu.org/prep/standards/standards.html https://www.gnu.org/prep/maintain/maintain.html So is this about changing automake/autoconf then? I suppose one change is to make autoconf/automake try to build the PDF manual at 'distcheck' instead of DVI, but I think that is a more difficult change: 1) it requires additional tools not otherwise mentioned in the documents or are normally installed on people's machines, and 2) the above manuals say special things about 'texi2dvi' but nothing about the same tools for PDF. Do we really want to add new requirements for PDF that haven't been part of these documents, at this point in time? Maybe it is sufficient for 'make distcheck' to attempt to build the Info manual, which I think is already the case? And then simply drop the attempt to build *.dvi by default like the attached (untested) patch? What kind of problems would attempting to build the DVI or PDF manual really catch these days, which aren't already triggered by attempting to make the *.info manual? What is there in autoconf to change? I couldn't find anything obvious related to DVI. /Simon diff --git a/lib/am/distdir.am b/lib/am/distdir.am index e21c5a7cc..04113bf25 100644 =2D-- a/lib/am/distdir.am +++ b/lib/am/distdir.am @@ -439,7 +439,8 @@ AM_RECURSIVE_TARGETS +=3D distcheck endif %?SUBDIRS% =20 # Exists only to be overridden by the user if desired. =2DAM_DISTCHECK_DVI_TARGET =3D dvi +# Used to be 'dvi'. +AM_DISTCHECK_DVI_TARGET =3D =20 # This target untars the dist file and tries a VPATH configuration. Then # it guarantees that the distribution is self-contained by making another --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQNoBAEWCAMQFiEEo8ychwudMQq61M8vUXIrCP5HRaIFAmh78cMUHHNpbW9uQGpv c2Vmc3Nvbi5vcmfCHCYAmDMEXJLOtBYJKwYBBAHaRw8BAQdACIcrZIvhrxDBkK9f V+QlTmXxo2naObDuGtw58YaxlOu0JVNpbW9uIEpvc2Vmc3NvbiA8c2ltb25Aam9z ZWZzc29uLm9yZz6IlgQTFggAPgIbAwULCQgHAgYVCAkKCwIEFgIDAQIeAQIXgBYh BLHSvRN1vst4TPT4xNc89jjFPAa+BQJn0XQkBQkNZGbwAAoJENc89jjFPAa+BtIA /iR73CfBurG9y8pASh3cbGOMHpDZfMAtosu6jbpO69GHAP4p7l57d+iVty2VQMsx +3TCSAvZkpr4P/FuTzZ8JZe8BrgzBFySz4EWCSsGAQQB2kcPAQEHQOxTCIOaeXAx I2hIX4HK9bQTpNVei708oNr1Klm8qCGKiPUEGBYIACYCGwIWIQSx0r0Tdb7LeEz0 +MTXPPY4xTwGvgUCZ9F0SgUJDWRmSQCBdiAEGRYIAB0WIQSjzJyHC50xCrrUzy9R cisI/kdFogUCXJLPgQAKCRBRcisI/kdFoqdMAQCgH45aseZgIrwKOvUOA9QfsmeE 8GZHYNuFHmM9FEQS6AD6A4x5aYvoY6lo98pgtw2HPDhmcCXFItjXCrV4A0GmJA4J ENc89jjFPAa+wUUBAO64fbZek6FPlRK0DrlWsrjCXuLi6PUxyzCAY6lG2nhUAQC6 qobB9mkZlZ0qihy1x4JRtflqFcqqT9n7iUZkCDIiDbg4BFySz2oSCisGAQQBl1UB BQEBB0AxlRumDW6nZY7A+VCfek9VpEx6PJmdJyYPt3lNHMd6HAMBCAeIfgQYFggA JgIbDBYhBLHSvRN1vst4TPT4xNc89jjFPAa+BQJn0XTSBQkNZGboAAoJENc89jjF PAa+0M0BAPPRq73kLnHYNDMniVBOzUdi2XeF32idjEWWfjvyIJUOAP4wZ+ALxIeh is3Uw2BzGZE6ttXQ2Q+DeCJO3TPpIqaXDAAKCRBRcisI/kdFovq1APwNsDEDitiB Xi5+I1a5jKbctYf4QLsR88+PyOLfF3wHPgEArIin2pDaZgCWJdgXx57/oKxH3Wxi ctvRKskNEaE2WwA= =2eIM -----END PGP SIGNATURE----- --=-=-=--