From 6f15e33307da7cd9f575a5acb7ad2e4fc7152d11 Mon Sep 17 00:00:00 2001
From: Ulrich Drepper <drepper@redhat.com>
Date: Fri, 17 Mar 2000 18:32:23 +0000
Subject: [PATCH] MAKEINFO is set to `:' from configure if it doesn't exist,
 correct checks.

---
 manual/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/manual/Makefile b/manual/Makefile
index 3c6640e8a77..1debb744346 100644
--- 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)
-- 
2.47.2