#!/bin/sh
set -e
if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/dune ]; then
	rm -f /usr/doc/dune
fi
if test -x /usr/bin/update-menus; then 
   update-menus
fi
