[grub2] patch info pages so they can be installed and removed correctly when renamed

[Peter Jones]

commit ee18b8d4c1d39d6fa8355faa27dcb76f4e99e8ec
Author: Mads Kiilerich <mads at kiilerich.com>
Date:   Thu Oct 27 17:08:58 2011 +0200

    patch info pages so they can be installed and removed correctly when renamed

 grub2.spec |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/grub2.spec b/grub2.spec
index bb326ff..3d40f28 100644
--- a/grub2.spec
+++ b/grub2.spec
@@ -150,6 +150,12 @@ PLATFORM=pc
 
 make %{?_smp_mflags}
 
+sed -i -e 's,(grub),(%{name}),g' \
+	-e 's,grub.info,%{name}.info,g' \
+	-e 's,\* GRUB:,* GRUB2:,g' \
+	docs/grub.info
+sed -i -e 's,grub-dev,%{name}-dev,g' docs/grub-dev.info
+
 %install
 set -e
 rm -fr $RPM_BUILD_ROOT