backwards compatibility in grub.cfg

[Robert Millan]

Hi,

I'm adding this to the Debian package.  We need this for backwards
compatibility in case the new update-grub is used in combination with an
older install of GRUB in /boot/grub (which will surely happen a lot).

I'm wondering if it makes sense to commit this in official GRUB too.  For
people installing by hand it's not a problem, and distributors can sort it
out themselves, I guess, but it may also be helpful.  What do you think?

(we have similar checks like "if font " in 00_header, but this is much
uglier)

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What good is a phone call… if you are unable to speak?
(as seen on /.)

compat.diff
Description: Text Data