man-pages: add post-install makewhatis and fix glob

closes #125
2022-10-24 18:46:01 -05:00 · 2022-10-24 18:46:01 -05:00 · 99936e23ad
parent 6b796c29c5
commit 99936e23ad
2 changed files with 4 additions and 0 deletions
--- a/extra/man-pages/build
+++ b/extra/man-pages/build
@ -10,6 +10,7 @@ for i in 0p 1p 3p; do
 done

 for i in man*; do
+    [ -d "$i" ] || continue
    cp -Rf "$i" "$1/usr/share/man"
 done

--- a/extra/man-pages/post-install
+++ b/extra/man-pages/post-install
@ -0,0 +1,3 @@
+#!/bin/sh
+
+makewhatis /usr/share/man