[PATCH] Update to Linux man-pages 5.13

[PATCH] Update to Linux man-pages 5.13

From: Štěpán Němec
---
 Linux/Makefile | 2 +-
 exman.1        | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Linux/Makefile b/Linux/Makefile
index 866b836d55fb..4e405acd81ce 100644
--- a/Linux/Makefile
+++ b/Linux/Makefile
@@ -1,5 +1,5 @@
 SYSTEM = Linux
-VERSION = 5.12
+VERSION = 5.13
 MIRROR = https://mirrors.edge.kernel.org/pub/linux/docs/man-pages
 DISTFILES = man-pages-${VERSION}.tar.xz
 FILES = man-pages-${VERSION}/man[1-9]/
diff --git a/exman.1 b/exman.1
index 5073b5c3ac1c..aaf7db93f626 100644
--- a/exman.1
+++ b/exman.1
@@ -1,4 +1,4 @@
-.Dd August 26, 2021
+.Dd August 27, 2021
 .Dt EXMAN 1
 .Os
 .
@@ -29,7 +29,7 @@ The available systems are as follows:
 .It Fx
 13.0-RELEASE
 .It Linux
-man-pages 5.12
+man-pages 5.13
 .It Nx
 9.2
 .It Ox

base-commit: ed7329dcaec2b93cd7303867ae9297e9dccb8149
-- 
2.33.0

Re: [PATCH] Update to Linux man-pages 5.13

From: june
Applied and tagged.