aboutsummaryrefslogtreecommitdiff
path: root/extra
diff options
context:
space:
mode:
Diffstat (limited to 'extra')
-rwxr-xr-xextra/man-pages/build3
-rw-r--r--extra/man-pages/checksums1
-rw-r--r--extra/man-pages/sources1
-rw-r--r--extra/man-pages/version1
4 files changed, 6 insertions, 0 deletions
diff --git a/extra/man-pages/build b/extra/man-pages/build
new file mode 100755
index 00000000..0fa9b71f
--- /dev/null
+++ b/extra/man-pages/build
@@ -0,0 +1,3 @@
+#!/bin/sh -e
+
+make prefix=/usr DESTDIR="$1" install
diff --git a/extra/man-pages/checksums b/extra/man-pages/checksums
new file mode 100644
index 00000000..c4e14fae
--- /dev/null
+++ b/extra/man-pages/checksums
@@ -0,0 +1 @@
+cea7cd31f8080ed8ec6725419e58bbe04ab0dd4fa0071526bd7cf0cd8d1bf7f7 man-pages-5.08.tar.xz
diff --git a/extra/man-pages/sources b/extra/man-pages/sources
new file mode 100644
index 00000000..a8837340
--- /dev/null
+++ b/extra/man-pages/sources
@@ -0,0 +1 @@
+https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-5.08.tar.xz
diff --git a/extra/man-pages/version b/extra/man-pages/version
new file mode 100644
index 00000000..f9e000f6
--- /dev/null
+++ b/extra/man-pages/version
@@ -0,0 +1 @@
+5.08 1