From 05de4c346da1607eb4f1b3db56ce0935509fa458 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Thu, 9 May 2019 16:25:52 +0200
Subject: [PATCH] gnu: man-pages: Update to 5.01.

* gnu/packages/man.scm (man-pages): Update to 5.01.
---
 gnu/packages/man.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/man.scm b/gnu/packages/man.scm
index f8ee3883a1..07ca9c559e 100644
--- a/gnu/packages/man.scm
+++ b/gnu/packages/man.scm
@@ -161,7 +161,7 @@ (define-public man-db
 (define-public man-pages
   (package
     (name "man-pages")
-    (version "5.00")
+    (version "5.01")
     (source
      (origin
        (method url-fetch)
@@ -171,7 +171,7 @@ (define-public man-pages
               (string-append "mirror://kernel.org/linux/docs/man-pages/Archive/"
                              "man-pages-" version ".tar.xz")))
        (sha256
-        (base32 "006rcqhs4ay9q8wip2kbgk3065gwvfbzrqgv2dsydwvcnwv50bss"))))
+        (base32 "09xn8d8xxwgms6h1bvjlgn3mxz51vxf3ra0ry9f5dqi29qry3z3x"))))
     (build-system gnu-build-system)
     (arguments
      '(#:phases (modify-phases %standard-phases (delete 'configure))