aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xextra/man-pages/build3
-rw-r--r--extra/man-pages/checksums2
-rw-r--r--extra/man-pages/sources2
-rw-r--r--extra/man-pages/version2
4 files changed, 6 insertions, 3 deletions
diff --git a/extra/man-pages/build b/extra/man-pages/build
index 0fa9b71f..c8a2dc10 100755
--- a/extra/man-pages/build
+++ b/extra/man-pages/build
@@ -1,3 +1,6 @@
#!/bin/sh -e
+# Remove absolutely unnecessary 'install' flag from the Makefile.
+sed -i 's,-T,,' Makefile
+
make prefix=/usr DESTDIR="$1" install
diff --git a/extra/man-pages/checksums b/extra/man-pages/checksums
index 67fba6ba..60312a4a 100644
--- a/extra/man-pages/checksums
+++ b/extra/man-pages/checksums
@@ -1 +1 @@
-3eda5dce5184599ec37dae3494cf964c550362e9a41fb724792da610bdb13caa man-pages-5.11.tar.xz
+7af5c960a05a7fac56813fe5bfa564a1c280e934363ae03911b67b0b8e23371e man-pages-5.12.tar.xz
diff --git a/extra/man-pages/sources b/extra/man-pages/sources
index e946ede4..b5526f02 100644
--- a/extra/man-pages/sources
+++ b/extra/man-pages/sources
@@ -1 +1 @@
-https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-5.11.tar.xz
+https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-5.12.tar.xz
diff --git a/extra/man-pages/version b/extra/man-pages/version
index 20584615..35970e0a 100644
--- a/extra/man-pages/version
+++ b/extra/man-pages/version
@@ -1 +1 @@
-5.11 1
+5.12 1