diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2000-03-17 18:32:02 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2000-03-17 18:32:02 +0000 |
| commit | 96888079ea67d0b4ff93d950777ccf1266f0e23e (patch) | |
| tree | b7682fc8fa3fff59b2f5e9576aef485f433b44a5 /manual/Makefile | |
| parent | 5c7b0fb2061fa5f87e4e1f14121b53a04f49e3ef (diff) | |
Update.
2000-03-16 Andreas Jaeger <aj@suse.de>
* manual/Makefile: MAKEINFO is set to `:' from configure if it
doesn't exist, correct checks. Fixes PR libc/1649.
Diffstat (limited to 'manual/Makefile')
| -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) |