packaging/Debian/postinst.debhelper

   1 # Automatically added by dh_installdocs
   2 if [ "$1" = "configure" ]; then
   3         if [ -d /usr/doc -a ! -e /usr/doc/gnokii -a -d /usr/share/doc/gnokii ]; then
   4                 ln -sf ../share/doc/gnokii /usr/doc/gnokii
   5         fi
   6 fi
   7 # End automatically added section
   8 # Automatically added by dh_installmenu
   9 if [ "$1" = "configure" -a -x /usr/bin/update-menus ]; then update-menus ; fi
  10 # End automatically added section