Initial commit

2026-03-21 12:43:00 -05:00
commit 83bf16823c
438 changed files with 33617 additions and 0 deletions
@@ -0,0 +1,7 @@
+for sect in 0 1 3; do
+		sed -i "/^\.so /s/man${sect}p/man$sect/" man${sect}p/*
+		mkdir -p "$DESTDIR"/usr/share/man/man${sect}
+		mv man${sect}p/* "$DESTDIR"/usr/share/man/man$sect/
+	done
+	find "$DESTDIR"/usr/share/man -name "*.[0-9]" -o -name "*.[0-9]p" \
+		| xargs gzip -9