Re: [PATCH] doc: update main copyright year

[Pádraig Brady]

On 01/06/2013 04:50 PM, Paul Eggert wrote:
> The automated script missed this one.
>
> * doc/gnulib.texi: Update copyright date.
> ---
>   ChangeLog       | 3 +++
>   doc/gnulib.texi | 2 +-
>   2 files changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/ChangeLog b/ChangeLog
> index 0e31877..2d4793d 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,5 +1,8 @@
>   2013-01-06  Paul Eggert  <address@hidden>
>
> +       doc: update main copyright year
> +       * doc/gnulib.texi: Update copyright date.
> +
>         doc: improve ISO 8601 discussion
>         * doc/parse-datetime.texi (Combined date and time of day items):
>         Specify more carefully what formats are supported and what is
> diff --git a/doc/gnulib.texi b/doc/gnulib.texi
> index b492b76..b8d9559 100644
> --- a/doc/gnulib.texi
> +++ b/doc/gnulib.texi
> @@ -23,7 +23,7 @@ This manual is for GNU Gnulib (updated @value{UPDATED}),
>   which is a library of common routines intended to be shared at the
>   source level.
>
> -Copyright @copyright{} 2004--2012 Free Software Foundation, Inc.
> +Copyright @copyright{} 2004--2013 Free Software Foundation, Inc.

Does the -- indicate that, some years it wasn't updated?
Changing to a single - should ensure this doesn't hit again.

thanks,
Pádraig.