[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] docs: Fix build dependency for grub-dev.info
|
From: |
Hans Ulrich Niedermann |
|
Subject: |
[PATCH] docs: Fix build dependency for grub-dev.info |
|
Date: |
Sat, 16 May 2020 06:12:30 +0200 |
The grub-dev.info target depends on fdl.texi just like grub.info
does, so grub-dev.info also requires the definition of that
dependency in grub_dev_TEXINFOS just as grub_TEXINFOS provides
for grub.info.
Signed-off-by: Hans Ulrich Niedermann <address@hidden>
diff --git a/docs/Makefile.am b/docs/Makefile.am
index 93eb39627..e110ea9f9 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -3,6 +3,7 @@ AUTOMAKE_OPTIONS = subdir-objects
# AM_MAKEINFOFLAGS = --no-split --no-validate
info_TEXINFOS = grub.texi grub-dev.texi
grub_TEXINFOS = fdl.texi
+grub_dev_TEXINFOS = fdl.texi
EXTRA_DIST = font_char_metrics.png font_char_metrics.txt
--
2.26.2
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] docs: Fix build dependency for grub-dev.info,
Hans Ulrich Niedermann <=