I didn't mean that you intentionally reverted it, but if you compare r1741 and r1820, you'll see that your change to util/i386/pc/grub- install.in was precisely the reverse of mine, and so the effect of your change was to break the --grub-probe option again, just as the effect of my change was to break help2man. Clearly we need a compromise. Could you have a look at r1922? I think that resolves the conflict between our two changes.
-- Man page for grub-install missing. https://bugs.launchpad.net/bugs/480571 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
