Space Invasion: Continue playing rounds in case the teams are tied at the end
Rules in case of a tie:
1) Eliminate all teams not tied for the lead
2) Play another round with the remaining teams
3) Check for the winner again at the end of that round. If there's another tie, repeat the procedure
#!/bin/sh
if [ -d QTfrontend ]; then
cd QTfrontend
else
if [ -d ../QTfrontend ]; then
cd ../QTfrontend
else
echo 'abort: Directory "QTfrontend" not found!' >&2
exit 1
fi
fi
if [ -z "$1" ]; then
OUTPUT_DIRECTORY="../doc/QTfrontend"
else
OUTPUT_DIRECTORY="$1"
fi
echo "Creating documentation for Qt-Frontend in $OUTPUT_DIRECTORY ..."
if [ $(which hg) ]; then
branch=$(hg identify -b)
rev=$(hg identify -rdefault -i)
export PROJECT_NUMBER="${branch} branch, ${rev}"
export OUTPUT_DIRECTORY
fi
doxygen
exit $?