chiark / gitweb /
categorise changes
[userv.git] / debian / postinst
index ef30f6e3c6c1a9ce464a2340fae75d67f5254036..8e10e0e8b08f08e59e00046c0daee01c731145fe 100644 (file)
@@ -2,3 +2,10 @@
 set -e
 update-rc.d userv defaults 19 50
 /etc/init.d/userv start >/dev/null
+
+if [ "$1" = "configure" ]; then
+ if [ -d /usr/doc -a ! -e /usr/doc/userv -a -d /usr/share/doc/userv ]; then
+   ln -sf ../share/doc/userv /usr/doc/userv
+  fi
+fi
+