#!/bin/bash

. config

echo "Removing binaries from $BIN"
rm "$BIN/cl"
rm "$BIN/runcl"

echo "Removing math fonts from $FONTS"
rm -r "$FONTS"

echo "Uninstalling MIME type"
xdg-mime uninstall share/ComeniusUniversity-clausal-language.xml

echo "Uninstalling Applications menu entry"
xdg-desktop-menu uninstall ComeniusUniversity-clausal-language.desktop

echo "Uninstalling icon"
xdg-icon-resource uninstall --size 32 ComeniusUniversity-clausal-language
