MAKEINFO is set to `:' from configure if it doesn't exist, correct checks.

diff --git a/manual/Makefile b/manual/Makefile
index 3c6640e8a771b40d51735ac9000bb27f7104da22..1debb7443460575b62667e8b96f5bf06f950ce32 100644 (file)
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -37,7 +37,7 @@ TEXI2DVI = texi2dvi
 AWK = gawk
 endif
 
-ifneq ($(strip $(MAKEINFO)),)
+ifneq ($(strip $(MAKEINFO)),:)
 all: info
 info: libc.info dir-add.info
 endif
@@ -155,7 +155,7 @@ realclean: distclean
 
 .PHONY: install subdir_install installdirs install-data
 install-data subdir_install: install
-ifneq ($(strip $(MAKEINFO)),)
+ifneq ($(strip $(MAKEINFO)),:)
 # There are two variants of install-info out there.  The GNU version
 # knows about the INFO-DIR-SECTION tag, the Debian version doesn't.
 ifneq ($(OLD_DEBIAN_INSTALL_INFO),yes)