Re: bug#16337: [PATCH] doc: fix encoding error with UTF-8 characters

2014-01-04 Thread Paul Eggert
Stefano Lattarini wrote: please push (to the 'micro' branch) and close this bug report once you're done Thanks, done.

Re: bug#16337: [PATCH] doc: fix encoding error with UTF-8 characters

2014-01-04 Thread Stefano Lattarini
Hi Paul, thanks for the patch. Just one meta-nit: for issues this small, there is no need to open a new bug report just to send the patch. Simply send it to the automake-patches list instead. On 04/01/14 05:56, Paul Eggert wrote: * doc/automake.texi: Specify @documentencoding and @documentla