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