#!/bin/sh -e
#
# Debian package preinst

case "$1" in
  install|upgrade)
		   # need to move configuration file to proper directory
		   if [ -f /var/lib/dejagnu/site.exp ]; then
		     if [ ! -d /etc/dejagnu ]; then
		       install -d -g root -m 755 -o root /etc/dejagnu
		     fi
		     mv -f /var/lib/dejagnu/site.exp /etc/dejagnu
		   fi
		   ;;
esac
