From: Ulrich Drepper Date: Fri, 17 Mar 2000 18:32:23 +0000 (+0000) Subject: MAKEINFO is set to `:' from configure if it doesn't exist, correct checks. X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6f15e33307da7cd9f575a5acb7ad2e4fc7152d11;p=thirdparty%2Fglibc.git MAKEINFO is set to `:' from configure if it doesn't exist, correct checks. --- 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)