summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile
index 3546841118..34f894e49e 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -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))