#!/bin/sh
#
# This script is deprecated

echo "DEPRECATED: $0"
echo "$@"
