about summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/Makefile b/manual/Makefile
index 51ada2c6af..20c4daf3c1 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -40,7 +40,7 @@ endif
 
 TEXI2PDF = pdftexinfo
 
-ifneq ($(strip $(MAKEINFO)),)
+ifneq ($(strip $(MAKEINFO)),:)
 all: info
 info: libc.info dir-add.info
 endif
@@ -172,7 +172,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)