#!/bin/sh
set -e
+. /usr/share/debconf/confmodule
+
+UPSTREAM_VERSION=
+DEBIAN_VERSION=
if [ -h /etc/X11/ion3/draw.lua ]; then
rm -f /etc/X11/ion3/draw.lua
chmod a+x $inst
fi
+# Initialise extra configuration file list if missing
+[ -f /etc/X11/ion3/cfg_debian_ext.lua ] || >/etc/X11/ion3/cfg_debian_ext.lua
+
#DEBHELPER#
# Remove the old now-renamed generated Debian menu