#!/bin/sh

set -e

mkdir debian-edu && cd debian-edu
for filename in config ; do
    file=/etc/debian-edu/$filename
    if [ -f $file ] ; then
	cp $file $filename
    fi
done
