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