File tipp10-wrapper of Package tipp10

#!/bin/bash
TIPP10DIR="$HOME/tipp10"
if [ ! -d "$TIPP10DIR" ]; then
	mkdir -p "$HOME/tipp10"
fi
cd /usr/share/tipp10
./tipp10