From dcde2f70372b49ec43efc5db864c9ff585d0a2dd Mon Sep 17 00:00:00 2001
From: Alejandro Colomar <alx@kernel.org>
Date: Fri, 26 Apr 2024 15:06:49 +0200
Subject: man/, share/mk/: Move man*/ to man/

This is a scripted change:

$ mkdir man/;
$ mv man* man/;
$ ln -st . man/man*;
$ find share/mk/ -type f \
	| xargs grep -l '^MANDIR *:=' \
	| xargs sed -i '/^MANDIR *:=/s,$,/man,';
$ find share/mk/dist/ -type f \
	| xargs grep -l man \
	| xargs sed -i 's,man%,man/%,g';

Link: <https://lore.kernel.org/linux-man/YxcV4h+Xn7cd6+q2@pevik/T/>
Cc: Petr Vorel <pvorel@suse.cz>
Cc: Jakub Wilk <jwilk@jwilk.net>
Cc: Stefan Puiu <stefan.puiu@gmail.com>
Signed-off-by: Alejandro Colomar <alx@kernel.org>
---
 man/man3/pmap_set.3 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 man/man3/pmap_set.3

(limited to 'man/man3/pmap_set.3')

diff --git a/man/man3/pmap_set.3 b/man/man3/pmap_set.3
new file mode 100644
index 0000000000..b184711678
--- /dev/null
+++ b/man/man3/pmap_set.3
@@ -0,0 +1 @@
+.so man3/rpc.3
-- 
cgit 1.2.3-korg