diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index 53822082e2..cdb6763e9b 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -172,6 +172,8 @@ include ../Rules .PHONY: install subdir_install install-data install-data subdir_install: install +# libm-err.texi generation requires perl. +ifneq ($(PERL),no) ifneq ($(strip $(MAKEINFO)),:) install: $(inst_infodir)/libc.info @if $(SHELL) -c '$(INSTALL_INFO) --version' >/dev/null 2>&1; then \ @@ -179,6 +181,7 @@ install: $(inst_infodir)/libc.info $(INSTALL_INFO) --info-dir=$(inst_infodir) $(inst_infodir)/libc.info;\ else : ; fi endif +endif # Catchall implicit rule for other installation targets from the parent. install-%: ; |