[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Remove repeated words
From: |
Bruno Haible |
Subject: |
Re: [PATCH] Remove repeated words |
Date: |
Mon, 22 May 2017 22:12:25 +0200 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-75-generic; KDE/5.18.0; x86_64; ; ) |
> Signed-off-by: Bjarni Ingi Gislason <address@hidden>
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