> Signed-off-by: Bjarni Ingi Gislason <bjarn...@rhi.hi.is>
Thanks, I applied this in your name, except for the part that applies
to texinfo.tex, because it is maintained upstream (-> Karl).
> diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
> index 8204f3e3a..3c908e20c 100644
> --- a/build-aux/texinfo.tex
> +++ b/build-aux/texinfo.tex
> @@ -5927,7 +5927,7 @@ end
> }
>
>
> -% Finished with with double columns.
> +% Finished with double columns.
> \def\enddoublecolumns{%
> % The following penalty ensures that the page builder is exercised
> % _before_ we change the output routine. This is necessary in the
