#!/bin/sh

if type etcinsvk > /dev/null 2>&1 ; then
    echo "warning: Using obsolete command debian-edu-etc-svk, use etcinsvk instead."
    exec etcinsvk $@
else
    echo "error: Missing package etcinsvk."
fi
