mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-28 07:44:52 +00:00
patch info pages so they can be installed and removed correctly when renamed
This commit is contained in:
parent
1068837011
commit
ee18b8d4c1
1 changed files with 6 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue