update setup to install man(5) pages in the man5 directory

DannyBen · Sep 4, 2023 · 3e1ba80 · 3e1ba80
1 parent 49c1d6e
commit 3e1ba80
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/setup b/setup
@@ -35,10 +35,15 @@ copy_executable() {
 }
 
 copy_man() {
-  if [[ ! -d "/usr/local/share/man/man1/" ]]; then return; fi
-
   for file in "$1"/*.[1-8]; do
-    sudo_copy "$file" "/usr/local/share/man/man1/"
+    section="${file##*.}"
+    target_dir="/usr/local/share/man/man$section/"
+
+    if [[ ! -d "$target_dir" ]]; then
+      $sudo mkdir -p "$target_dir"
+    fi
+
+    sudo_copy "$file" "$target_dir"
   done
 
   if command_exist makewhatis; then