mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-28 15:46:53 +00:00
88d855728e
Resolves: rhbz#1484609 Get rid of the temporary extra efi packages hack. Signed-off-by: Peter Jones <pjones@redhat.com>
22 lines
600 B
Diff
22 lines
600 B
Diff
From 5cf0df8753c19e83251c7244cafe38869a65060f Mon Sep 17 00:00:00 2001
|
|
From: Peter Jones <pjones@redhat.com>
|
|
Date: Tue, 8 Aug 2017 13:08:59 -0400
|
|
Subject: [PATCH 064/194] info-in-builddir
|
|
|
|
---
|
|
docs/Makefile.am | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/docs/Makefile.am b/docs/Makefile.am
|
|
index 93eb39627..e396ba10f 100644
|
|
--- a/docs/Makefile.am
|
|
+++ b/docs/Makefile.am
|
|
@@ -1,4 +1,4 @@
|
|
-AUTOMAKE_OPTIONS = subdir-objects
|
|
+AUTOMAKE_OPTIONS = subdir-objects info-in-builddir
|
|
|
|
# AM_MAKEINFOFLAGS = --no-split --no-validate
|
|
info_TEXINFOS = grub.texi grub-dev.texi
|
|
--
|
|
2.13.5
|
|
|