Bug#830989: debian-policy: Typos "the the" in "4.4 Debian changelog: debian/changelog" and "8.6.3.2 The symbols File Format"

[Guillem Jover <guillem@debian.org>]

Hi!

On Wed, 2016-07-13 at 17:08:31 +0200, Valentin Samir wrote:
> Package: debian-policy
> Severity: minor
> Tags: patch

> Reading the debian policy for the first time, I notice two minor typos where 'the'
> is repeated.
> 
> The first time in §4.4:
>     "+zzzz or -zzzz is the the time zone offset from Coordinated Universal Time (UTC)."

Ah nice catch! I've fixed the following in dpkg's deb-changelog(5)
man page locally (and a bunch of other files which had the same typo).

> diff --git a/policy.sgml b/policy.sgml
> index 9cd182b..61956cd 100644
> --- a/policy.sgml
> +++ b/policy.sgml
> @@ -1799,7 +1799,7 @@ zope.
>             <item>mm is the two-digit minutes (00-59)</item>
>             <item>ss is the two-digit seconds (00-60)</item>
>             <item>
> -             +zzzz or -zzzz is the the time zone offset from Coordinated
> +             +zzzz or -zzzz is the time zone offset from Coordinated
>               Universal Time (UTC).  "+" indicates that the time is ahead
>               of (i.e., east of) UTC and "-" indicates that the time is
>               behind (i.e., west of) UTC.  The first two digits indicate

Thanks,
Guillem