man-pages-posix: merged into man-pages. Closes (#273)

2025-02-28 01:26:27 -07:00 · 2021-07-12 13:33:33 +03:00 · 2021-07-12 13:33:33 +03:00 · 0ba4a68a52
commit 0ba4a68a52
parent ecb8dda212
4 changed files with 0 additions and 6 deletions
--- a/extra/man-pages-posix/build
+++ b/extra/man-pages-posix/build
@ -1,3 +0,0 @@
-#!/bin/sh -e
-
-make prefix=/usr DESTDIR="$1" install
--- a/extra/man-pages-posix/checksums
+++ b/extra/man-pages-posix/checksums
@ -1 +0,0 @@
-ce67bb25b5048b20dad772e405a83f4bc70faf051afa289361c81f9660318bc3
--- a/extra/man-pages-posix/sources
+++ b/extra/man-pages-posix/sources
@ -1 +0,0 @@
-https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-posix/man-pages-posix-2017-a.tar.xz
--- a/extra/man-pages-posix/version
+++ b/extra/man-pages-posix/version
@ -1 +0,0 @@
-2017a 1
				`@ -1 +0,0 @@`
				`ce67bb25b5048b20dad772e405a83f4bc70faf051afa289361c81f9660318bc3`
				`@ -1 +0,0 @@`
				`https://mirrors.edge.kernel.org/pub/linux/docs/man-pages/man-pages-posix/man-pages-posix-2017-a.tar.xz`