#!/bin/sh
set -i

# get rid of old configuration files which make newer version break
if [ -n "$2" ]; then
    rm -f /etc/emacs/site-start.d/50proofgeneral.el
fi

#DEBHELPER#

exit 0