diff options
| author | Lukas Larsson <[email protected]> | 2016-08-12 11:27:33 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2016-08-12 11:27:33 +0200 |
| commit | 9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2 (patch) | |
| tree | 52d5945fc0b4adde8fc73ba3f0e410f3c02b7828 /lib/debugger | |
| parent | cd54106596b3471b42b59693a40e21b58729cdb0 (diff) | |
| parent | daa0f831aee9dedf8cdf29fd5f97f98f55e072e3 (diff) | |
| download | otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.tar.gz otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.tar.bz2 otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.zip | |
Merge branch 'maint'
Conflicts:
lib/gs/doc/src/Makefile
Diffstat (limited to 'lib/debugger')
| -rw-r--r-- | lib/debugger/doc/src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/debugger/doc/src/Makefile b/lib/debugger/doc/src/Makefile index 6c9617ca69..0f724b6f17 100644 --- a/lib/debugger/doc/src/Makefile +++ b/lib/debugger/doc/src/Makefile @@ -114,7 +114,7 @@ release_docs_spec: docs $(INSTALL_DIR) "$(RELSYSDIR)/doc/pdf" $(INSTALL_DATA) $(TOP_PDF_FILE) "$(RELSYSDIR)/doc/pdf" $(INSTALL_DIR) "$(RELSYSDIR)/doc/html" - (/bin/cp -rf $(HTMLDIR) "$(RELSYSDIR)/doc") + ($(CP) -rf $(HTMLDIR) "$(RELSYSDIR)/doc") $(INSTALL_DATA) $(INFO_FILE) "$(RELSYSDIR)" $(INSTALL_DIR) "$(RELEASE_PATH)/man/man3" $(INSTALL_DATA) $(MAN3DIR)/* "$(RELEASE_PATH)/man/man3" |