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