On Mon Feb 09 2015 at 9:15:34 AM Michael Niedermayer
wrote:
> On Mon, Feb 09, 2015 at 04:32:10PM +0100, Nicolas George wrote:
> > Fix double UTF-8 encoding on output files.
> > makeinfo / texi2any does not seem to provide a way of setting
> > it globally for toplevel files.
>
True. LGTM.
[...]
On Mon, Feb 09, 2015 at 04:32:10PM +0100, Nicolas George wrote:
> Fix double UTF-8 encoding on output files.
> makeinfo / texi2any does not seem to provide a way of setting
> it globally for toplevel files.
>
> Signed-off-by: Nicolas George
> ---
> doc/developer.texi| 1 +
> doc/