diff options
| author | Simon Josefsson <simon@josefsson.org> | 2023-01-01 01:14:21 +0100 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2023-01-01 01:14:21 +0100 |
| commit | 32a72f45374c9a36afa574d1a08bb98090270012 (patch) | |
| tree | 520bce408eaadd509518fa24004eaaa2467a7986 /doc/gnulib-tool.texi | |
| parent | 14a7b0ce5462c90ce86d97bf952185ec2500d341 (diff) | |
| download | gnulib-32a72f45374c9a36afa574d1a08bb98090270012.tar.gz | |
maint: run 'make update-copyright'
Diffstat (limited to 'doc/gnulib-tool.texi')
| -rw-r--r-- | doc/gnulib-tool.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gnulib-tool.texi b/doc/gnulib-tool.texi index 808e1e8279..03f7cacbd5 100644 --- a/doc/gnulib-tool.texi +++ b/doc/gnulib-tool.texi @@ -1,7 +1,7 @@ @node Invoking gnulib-tool @chapter Invoking gnulib-tool -@c Copyright (C) 2005--2022 Free Software Foundation, Inc. +@c Copyright (C) 2005--2023 Free Software Foundation, Inc. @c Permission is granted to copy, distribute and/or modify this document @c under the terms of the GNU Free Documentation License, Version 1.3 or |