diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 4 |
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) |