From ec7f8045e4045f02816e9dec3393ae9d474e1842 Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@debian.org>
Date: Thu, 6 Sep 2012 10:46:27 +0100
Subject: [PATCH] GRUB_PREFIX has been removed; hardcode /boot/grub in
 05_debian_theme instead.

---
 debian/grub.d/05_debian_theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/grub.d/05_debian_theme b/debian/grub.d/05_debian_theme
index e0b7c2909..d7898ad4f 100755
--- a/debian/grub.d/05_debian_theme
+++ b/debian/grub.d/05_debian_theme
@@ -21,7 +21,7 @@ set -e
 . /usr/share/grub/grub-mkconfig_lib
 
 # We want to work in /boot/grub/ only.
-test -d "${GRUB_PREFIX}"; cd "${GRUB_PREFIX}"
+test -d /boot/grub; cd /boot/grub
 
 # Set the location of a possibly necessary cache file for the background image.
 # NOTE: This MUST BE A DOTFILE to avoid confusing it with user-defined images.