install-man integrated.

1 files changed, 28 insertions, 0 deletions

diff --git a/package/install-man b/package/install-man
new file mode 100755
index 0000000..2e4f630
--- /dev/null
+++ b/package/install-man
@@ -0,0 +1,28 @@
+#!/bin/sh -e
+
+umask 022
+test -d package || ( echo 'Wrong working directory.'; exit 1 )
+test -d man || ( echo 'Wrong working directory.'; exit 1 )
+
+here=`env - PATH=$PATH pwd`
+parent=`dirname $here`
+
+echo 'Compressing manpages...'
+for i in man/*.[1-8]
+do
+  gzip -c $i > ${i}.gz
+done
+
+echo 'Making manpage links in /usr/local/man...'
+cd man
+for i in 8
+do
+  mkdir -p /usr/local/man/man$i
+  for j in *.$i
+  do
+    rm -f /usr/local/man/man$i/$j.gz'{new}'
+    ln -s $parent/runit/man/$j.gz /usr/local/man/man$i/$j.gz'{new}'
+    mv -f /usr/local/man/man$i/$j.gz'{new}' /usr/local/man/man$i/$j.gz
+  done
+done
+cd ..