diff options
| author | Rickard Green <[email protected]> | 2016-06-15 11:48:46 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-06-15 11:48:46 +0200 |
| commit | 6739b802822b3ba750499b9dc6ac390932d75049 (patch) | |
| tree | 6606b95ae3f5217d64d2753b654c75cc6e0ffe25 /system/doc/top/Makefile | |
| parent | 59397963e4f1e32b0d11f7862374ac65771feed2 (diff) | |
| parent | fe63f7705b5feef0a5eb67a4c3ed47c38301788b (diff) | |
| download | otp-6739b802822b3ba750499b9dc6ac390932d75049.tar.gz otp-6739b802822b3ba750499b9dc6ac390932d75049.tar.bz2 otp-6739b802822b3ba750499b9dc6ac390932d75049.zip | |
Merge branch 'rickard/top-doc-vsn/OTP-13676'
* rickard/top-doc-vsn/OTP-13676:
Present OTP base version on top html documentation page
Diffstat (limited to 'system/doc/top/Makefile')
| -rw-r--r-- | system/doc/top/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/system/doc/top/Makefile b/system/doc/top/Makefile index 6aa9d8d340..7f9cec540b 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -121,10 +121,11 @@ $(HTMLDIR)/index.html + $(HTMLDIR)/applications.html: $(INDEX_SCRIPT) $(TEMPLATE # Check if we are building the index from source or an installed release if test "$$RELEASE_ROOT" = "" ; then \ $(ERL) -noshell -pa $(EBIN) -s erl_html_tools top_index src $(ERL_TOP) \ - $(HTMLDIR) $(SYSTEM_VSN) -s erlang halt ;\ + $(HTMLDIR) `cat "$(ERL_TOP)/OTP_VERSION"` -s erlang halt ;\ else \ $(ERL) -noshell -pa $(EBIN) -s erl_html_tools top_index rel $(RELEASE_ROOT) \ - $(HTMLDIR) $(SYSTEM_VSN) -s erlang halt ;\ + $(HTMLDIR) `cat "$(RELEASE_ROOT)/releases/$(SYSTEM_VSN)/OTP_VERSION"` \ + -s erlang halt ;\ fi |