diff options
author | Raimo Niskanen <[email protected]> | 2012-02-06 15:18:21 +0100 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2012-02-06 15:18:21 +0100 |
commit | 59243ad0651d09347d2fc11cb0dbc16e9ec767ba (patch) | |
tree | 04f4c5272e70c797d0efe8d216b4b7c17eee17ef /erts/Makefile.in | |
parent | dd31e0c129742bdc058cef89fe0d5d763ea8b0f5 (diff) | |
parent | c0372d192ffc4873712dc724d6de6520c410e8f1 (diff) | |
download | otp-59243ad0651d09347d2fc11cb0dbc16e9ec767ba.tar.gz otp-59243ad0651d09347d2fc11cb0dbc16e9ec767ba.tar.bz2 otp-59243ad0651d09347d2fc11cb0dbc16e9ec767ba.zip |
Merge branch 'maint'
Diffstat (limited to 'erts/Makefile.in')
-rw-r--r-- | erts/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/Makefile.in b/erts/Makefile.in index 2b4f562c06..1979c50781 100644 --- a/erts/Makefile.in +++ b/erts/Makefile.in @@ -156,4 +156,4 @@ release: .PHONY: release_docs release_docs: - ( cd emulator && $(MAKE) $@ ) + ( cd doc/src && $(MAKE) $@ ) |