From 55172af4262daaf4e0ceb88b932e88633307a7d8 Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 12 Jul 2021 12:00:10 +0300
Subject: [PATCH] man-pages: 5.12 (See #273)

---
 extra/man-pages/build     | 29 +++++++++++++++++++++++++++++
 extra/man-pages/checksums |  1 +
 extra/man-pages/sources   |  1 +
 extra/man-pages/version   |  1 +
 4 files changed, 32 insertions(+)
 create mode 100755 extra/man-pages/build
 create mode 100644 extra/man-pages/checksums
 create mode 100644 extra/man-pages/sources
 create mode 100644 extra/man-pages/version

diff --git a/extra/man-pages/build b/extra/man-pages/build
new file mode 100755
index 00000000..de3043a1
--- /dev/null
+++ b/extra/man-pages/build
@@ -0,0 +1,29 @@
+#!/bin/sh -e
+#
+# The Makefile uses install commands which are incompatible
+# with busybox's install implementation (specifically -T).
+
+mkdir -p "$1/usr/share/man"
+
+# The sources are set out as follows.
+#
+# 1. user commands (intro, plus a few other pages)
+# 2. system calls
+# 3. libc calls
+# 4. devices (e.g., hd, sd)
+# 5. file formats and configuration files (e.g., wtmp, /etc/passwd)
+# 6. games (intro only)
+# 7. overviews, conventions, macro packages, etc.
+# 8. system administration (intro, plus a few other pages)
+#
+# Manual pages which relate to glibc or are otherwise provided by
+# other packages (tzdata, etc) are excluded.
+for i in 2 4 5 7; do
+    cp -Rf "man$i" "$1/usr/share/man"
+done
+
+# Provided by mandoc.
+rm -f "$1/usr/share/man/man7/man.7"
+
+# Provided by tzdata.
+rm -f "$1/usr/share/man/man5/tzfile.5"
diff --git a/extra/man-pages/checksums b/extra/man-pages/checksums
new file mode 100644
index 00000000..acc6d56c
--- /dev/null
+++ b/extra/man-pages/checksums
@@ -0,0 +1 @@
+7af5c960a05a7fac56813fe5bfa564a1c280e934363ae03911b67b0b8e23371e
diff --git a/extra/man-pages/sources b/extra/man-pages/sources
new file mode 100644
index 00000000..b5526f02
--- /dev/null
+++ b/extra/man-pages/sources
@@ -0,0 +1 @@
+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
new file mode 100644
index 00000000..35970e0a
--- /dev/null
+++ b/extra/man-pages/version
@@ -0,0 +1 @@
+5.12 1