Don't update info if makeinfo is too old.
authordrepper <drepper>
Mon, 1 Dec 1997 17:07:08 +0000 (17:07 +0000)
committerdrepper <drepper>
Mon, 1 Dec 1997 17:07:08 +0000 (17:07 +0000)
manual/Makefile

index 3546841..34f894e 100644 (file)
@@ -27,9 +27,13 @@ GAWK = gawk
 INSTALL_INFO = install-info
 
 .PHONY: all dvi info
-all: dvi info
+all: dvi
 dvi: libc.dvi
+
+ifneq ($(strip $(MAKEINFO)),)
+all: info
 info: libc.info dir-add.info
+endif
 
 # Get glibc's configuration info.
 ifneq (,$(wildcard ../Makeconfig))