-
Paul Eggert authored
With GNU Texinfo 5.0, this generates nicer-looking info files, since they can use curly quotes. With older Texinfo it doesn't matter.
681ebc33
With GNU Texinfo 5.0, this generates nicer-looking info files, since they can use curly quotes. With older Texinfo it doesn't matter.