From 99936e23ad3a35e26a87dd189cf99afa7fedbaaf Mon Sep 17 00:00:00 2001 From: Owen Rafferty Date: Mon, 24 Oct 2022 18:46:01 -0500 Subject: [PATCH] man-pages: add post-install makewhatis and fix glob closes #125 --- extra/man-pages/build | 1 + extra/man-pages/post-install | 3 +++ 2 files changed, 4 insertions(+) create mode 100755 extra/man-pages/post-install diff --git a/extra/man-pages/build b/extra/man-pages/build index b35ff9f1..19812ce0 100755 --- 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 diff --git a/extra/man-pages/post-install b/extra/man-pages/post-install new file mode 100755 index 00000000..d988ef17 --- /dev/null +++ b/extra/man-pages/post-install @@ -0,0 +1,3 @@ +#!/bin/sh + +makewhatis /usr/share/man