aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc/ert.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc/ert.texi')
-rw-r--r--doc/misc/ert.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ert.texi b/doc/misc/ert.texi
index ec1614c7140..e6840b182f8 100644
--- a/doc/misc/ert.texi
+++ b/doc/misc/ert.texi
@@ -11,7 +11,7 @@
11@end direntry 11@end direntry
12 12
13@copying 13@copying
14Copyright @copyright{} 2008, 2010--2014 Free Software Foundation, Inc. 14Copyright @copyright{} 2008, 2010--2015 Free Software Foundation, Inc.
15 15
16@quotation 16@quotation
17Permission is granted to copy, distribute and/or modify this document 17Permission is granted to copy, distribute and/or modify this document