upgrade.sh
changeset 39 8dcf739fc97e
parent 38 c44ea4526546
child 68 7ae95b9938c4
--- a/upgrade.sh	Wed Jun 11 05:07:07 2008 +0000
+++ b/upgrade.sh	Tue Jun 17 00:37:23 2008 +0000
@@ -7,11 +7,16 @@
 LANG=C
 PATH=/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin
 PREFIX=/usr/local
+
 PF_CONFDIR=$(postconf -h config_directory)
 PF_GID=$(id -g $(postconf -h mail_owner))
 LOCALE_DIR=${PREFIX}/share/locale
 DOC_DIR=${PREFIX}/share/doc/vmm
-MANDIR=${PREFIX}/share/man
+if [ ${PREFIX} == "/usr" ]; then
+    MANDIR=${PREFIX}/share/man
+else
+    MANDIR=${PREFIX}/man
+fi
 DOCS="ChangeLog COPYING INSTALL README"
 
 INSTALL_OPTS="-g 0 -o 0 -p"
@@ -37,6 +42,15 @@
 done
 cd - >/dev/null
 
+# remove misplaced manual pages
+if [ -f /usr/local/share/man/man1/vmm.1 ]; then
+    rm -f /usr/local/share/man/man1/vmm.1
+fi
+if [ -f /usr/local/share/man/man5/vmm.cfg.5 ]; then
+    rm -f /usr/local/share/man/man5/vmm.cfg.5
+fi
+
+# install manual pages
 cd man
 [ -d ${MANDIR}/man1 ] || mkdir -m 0755 -p ${MANDIR}/man1
 install -m 0644 ${INSTALL_OPTS} man1/vmm.1 ${MANDIR}/man1