diff options
Diffstat (limited to 'extra')
| -rwxr-xr-x | extra/man-pages/build | 3 | ||||
| -rw-r--r-- | extra/man-pages/checksums | 2 | ||||
| -rw-r--r-- | extra/man-pages/sources | 2 | ||||
| -rw-r--r-- | extra/man-pages/version | 2 |
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 |