diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/local.mk | 2 | ||||
| -rw-r--r-- | doc/sed.1 | 8 | ||||
| -rw-r--r-- | doc/sed.info | 8 | ||||
| -rw-r--r-- | doc/sed.texi | 2 | ||||
| -rw-r--r-- | doc/stamp-vti | 8 | ||||
| -rw-r--r-- | doc/version.texi | 8 |
6 files changed, 20 insertions, 16 deletions
diff --git a/doc/local.mk b/doc/local.mk index 3031692..652d945 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -1,4 +1,4 @@ -# Copyright (C) 2016-2018 Free Software Foundation, Inc. +# Copyright (C) 2016-2020 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.28. -.TH SED "1" "December 2018" "sed 4.7" "User Commands" +.TH SED "1" "January 2020" "sed 4.8" "User Commands" .SH NAME sed \- stream editor for filtering and transforming text .SH SYNOPSIS @@ -389,11 +389,15 @@ of your report if at all possible. .SH AUTHOR Written by Jay Fenlason, Tom Lord, Ken Pizzini, Paolo Bonzini, Jim Meyering, and Assaf Gordon. +.PP +This sed program was built with SELinux support. +SELinux is enabled on this system. +.PP GNU sed home page: <https://www.gnu.org/software/sed/>. General help using GNU software: <https://www.gnu.org/gethelp/>. E-mail bug reports to: <bug-sed@gnu.org>. .SH COPYRIGHT -Copyright \(co 2018 Free Software Foundation, Inc. +Copyright \(co 2020 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>. .br This is free software: you are free to change and redistribute it. diff --git a/doc/sed.info b/doc/sed.info index 6a93301..45aa845 100644 --- a/doc/sed.info +++ b/doc/sed.info @@ -1,8 +1,8 @@ This is sed.info, produced by makeinfo version 6.5 from sed.texi. -This file documents version 4.7 of GNU 'sed', a stream editor. +This file documents version 4.8 of GNU 'sed', a stream editor. - Copyright (C) 1998-2018 Free Software Foundation, Inc. + Copyright (C) 1998-2020 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, @@ -22,9 +22,9 @@ File: sed.info, Node: Top, Next: Introduction, Up: (dir) GNU 'sed' ********* -This file documents version 4.7 of GNU 'sed', a stream editor. +This file documents version 4.8 of GNU 'sed', a stream editor. - Copyright (C) 1998-2018 Free Software Foundation, Inc. + Copyright (C) 1998-2020 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, diff --git a/doc/sed.texi b/doc/sed.texi index 9529525..0c9b9c6 100644 --- a/doc/sed.texi +++ b/doc/sed.texi @@ -34,7 +34,7 @@ This file documents version @value{VERSION} of @value{SSED}, a stream editor. -Copyright @copyright{} 1998-2018 Free Software Foundation, Inc. +Copyright @copyright{} 1998--2020 Free Software Foundation, Inc. @quotation Permission is granted to copy, distribute and/or modify this document diff --git a/doc/stamp-vti b/doc/stamp-vti index 6b34a0a..ae062b9 100644 --- a/doc/stamp-vti +++ b/doc/stamp-vti @@ -1,4 +1,4 @@ -@set UPDATED 27 October 2018 -@set UPDATED-MONTH October 2018 -@set EDITION 4.7 -@set VERSION 4.7 +@set UPDATED 1 January 2020 +@set UPDATED-MONTH January 2020 +@set EDITION 4.8 +@set VERSION 4.8 diff --git a/doc/version.texi b/doc/version.texi index 6b34a0a..ae062b9 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 27 October 2018 -@set UPDATED-MONTH October 2018 -@set EDITION 4.7 -@set VERSION 4.7 +@set UPDATED 1 January 2020 +@set UPDATED-MONTH January 2020 +@set EDITION 4.8 +@set VERSION 4.8 |