diff options
| -rwxr-xr-x | extra/man-pages/build | 3 | ||||
| -rw-r--r-- | extra/man-pages/checksums | 1 | ||||
| -rw-r--r-- | extra/man-pages/sources | 1 | ||||
| -rw-r--r-- | extra/man-pages/version | 1 |
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 |