Battalion (mode=king): Kill the team when the king died instea of dismissing
DismissTeam causes a lot of problems and is not suited for multiplayer.
The team is not dismissed if the team is still active.
It's hard to properly do a tie.
And, and, and …
#!/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 $?