From 83b65c4afb32b41d22155d1410b1e94737b47c99 Mon Sep 17 00:00:00 2001 From: cjwatson Date: Mon, 5 Oct 2009 23:55:48 +0000 Subject: [PATCH] 2009-10-06 Colin Watson * Makefile.in: Don't set info_INFOS unless makeinfo was found. Fixes bug #27602. --- ChangeLog | 5 +++++ Makefile.in | 2 ++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index a07270342..a829dd77e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-10-06 Colin Watson + + * Makefile.in: Don't set info_INFOS unless makeinfo was found. + Fixes bug #27602. + 2009-10-06 Colin Watson * util/i386/pc/grub-install.in: Source diff --git a/Makefile.in b/Makefile.in index 0c5d0abb3..304d1c7fd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -174,7 +174,9 @@ handler.lst: $(HANDLERFILES) parttool.lst: $(PARTTOOLFILES) cat $^ /dev/null | sort | uniq > $@ +ifneq (true, $(MAKEINFO)) info_INFOS += docs/grub.info +endif MOSTLYCLEANFILES += vti.tmp MAINTAINER_CLEANFILES += docs/stamp-vti docs/version.texi