diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-03-21 05:26:29 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-03-21 05:26:29 (GMT) |
| commit | 80daed99de7fb7f3b7a42f8bfd169fa9a44b63f0 (patch) | |
| tree | df7ffa7a6d05e159c249db99489668210b95539e | |
| parent | d44174448adb386157b5c2ef76dfd8ca0bcb02fa (diff) | |
| parent | 55c9c7f05872a113e8d867bba40a7f02900229b7 (diff) | |
Merge pull request #653 from stilor/fix-make-install
Hot fix for 'make install'
| -rw-r--r-- | Makefile.in | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index aa27d61..634abaf 100644 --- a/Makefile.in +++ b/Makefile.in @@ -350,7 +350,17 @@ install-lib-kconfig: $(DESTDIR)$(libdir) install-lib-main install "kconfig/$${f}" "$(DESTDIR)$(libdir)/kconfig/$${f}"; \ done -install-doc: $(DESTDIR)$(docdir) +install-doc: install-doc-$(if $(wildcard docs/MANUAL_ONLINE),message,real) + +install-doc-message: + @echo "********************************************************************" + @echo " You are building from a development version that does not include" + @echo " the documentation. Refer to the manual online at:" + @echo " http://crosstool-ng.github.io/docs" + @echo "********************************************************************" + + +install-doc-real: $(DESTDIR)$(docdir) @echo " INST 'docs/*.txt'" @for doc_file in docs/*.txt; do \ $(install) -m 644 "$${doc_file}" "$(DESTDIR)$(docdir)"; \ |