#!/bin/sh
set -e

case "$1" in
    configure)
        # Regenerate grub.cfg so the theme is picked up
        if [ -x /usr/sbin/update-grub ] && [ -d /boot/grub ]; then
            update-grub || true
        fi
        ;;
esac

#DEBHELPER#

exit 0
