#!/bin/sh
echo "wesnoth-smallgui is deprecated -- please use wesnoth --smallgui directly!"
wesnoth --smallgui $*
