File 0001-rename-grub-info-file-to-grub2.patch of Package grub2-f2a1e0cc3fb3dbe715b06559c7fa345cdda98342

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-rename-grub-info-file-to-grub2.patch of Package grub2-f2a1e0cc3fb3dbe715b06559c7fa345cdda98342

From 13c1fe06380f63e07552d0b443527a813040f9ce Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jirislaby@gmail.com>
Date: Sun, 24 Jun 2012 15:40:40 +0200
Subject: [PATCH] rename grub info file to grub2

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>

From: Andrey Borzenkov <arvidjaar@gmail.com>
Do not rename file here. quilt does not support it and creates the
whole file if patch needs refreshing. It means that to regenerate two
files - Makefile.core.am and  Makefile.util.am - it may be necessary to
manually rename it.
---
 docs/Makefile.am               | 2 +-
 docs/{grub.texi => grub2.texi} | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename docs/{grub.texi => grub2.texi} (99%)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 93eb396276..41430426c7 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -1,7 +1,7 @@
 AUTOMAKE_OPTIONS = subdir-objects
 
 # AM_MAKEINFOFLAGS = --no-split --no-validate
-info_TEXINFOS = grub.texi grub-dev.texi
+info_TEXINFOS = grub2.texi grub-dev.texi
 grub_TEXINFOS = fdl.texi
 
 EXTRA_DIST = font_char_metrics.png font_char_metrics.txt
diff --git a/docs/grub.texi b/docs/grub2.texi
similarity index 99%
rename from docs/grub.texi
rename to docs/grub2.texi
index f8b4b3b21a..4672ba8f2d 100644
--- a/docs/grub.texi
+++ b/docs/grub2.texi
@@ -1,7 +1,7 @@
 \input texinfo
 @c -*-texinfo-*-
 @c %**start of header
-@setfilename grub.info
+@setfilename grub2.info
 @include version.texi
 @settitle GNU GRUB Manual @value{VERSION}
 @c Unify all our little indices for now.
-- 
2.35.3

Places

File 0001-rename-grub-info-file-to-grub2.patch of Package grub2-f2a1e0cc3fb3dbe715b06559c7fa345cdda98342

Places