#!/bin/sh
set -e

if [ -f /etc/grub.d/00_do_f9_customize ]; then
	rm -f /etc/grub.d/00_do_f9_customize

	if type update-grub; then
		update-grub || true
	fi
fi

#DEBHELPER#
