On 05/25/2014 09:26 PM, Paul Eggert wrote: > Pádraig Brady wrote: >> I didn't notice any quoting changes in the generated info or pdf file at >> least. > > I think it depends on the Texinfo version. I'm using texinfo 5.2, the latest > stable version.
Ah right I was using 4.13a on this system. My release system is much more up to date. >> UTF-8 should be used where possible these days. > > Should 'make dist' check that the documentation was generated with a > recent-enough texinfo and has proper quotes? coreutils has a check for 'makeinfo 4.13' in the "build prerequisites" in bootstrap.conf, though that would have lower requirements so that the developer build environment is usable, compared to a possible list of "release prerequisites" that would be used for release. So one could add such a list of version checks to make dist, though given the very few people who make releases, it's not a practical concern for coreutils at least. I suppose it would be nice to generalize that in gnulib if possible. thanks, Pádraig.