Re: [PATCH] doc: use nicer quotes

[Pádraig Brady]

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.