diff options
Diffstat (limited to 'doc/misc/ert.texi')
| -rw-r--r-- | doc/misc/ert.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ert.texi b/doc/misc/ert.texi index de71aca8aea..3553560f497 100644 --- a/doc/misc/ert.texi +++ b/doc/misc/ert.texi | |||
| @@ -15,7 +15,7 @@ | |||
| 15 | @end direntry | 15 | @end direntry |
| 16 | 16 | ||
| 17 | @copying | 17 | @copying |
| 18 | Copyright @copyright{} 2008, 2010--2017 Free Software Foundation, Inc. | 18 | Copyright @copyright{} 2008, 2010--2018 Free Software Foundation, Inc. |
| 19 | 19 | ||
| 20 | @quotation | 20 | @quotation |
| 21 | Permission is granted to copy, distribute and/or modify this document | 21 | Permission is granted to copy, distribute and/or modify this document |