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