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 <h...@n-dimensional.de> 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 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
