From d13654730759161dfa532a2a9e509040117fb0fc Mon Sep 17 00:00:00 2001 From: Krzysztof Jurewicz Date: Sun, 1 Jul 2018 13:08:09 +0200 Subject: Document ERLANG_MK_REPO and ERLANG_MK_COMMIT --- doc/src/guide/updating.asciidoc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/src/guide') diff --git a/doc/src/guide/updating.asciidoc b/doc/src/guide/updating.asciidoc index 8eeb0bf..f96fed8 100644 --- a/doc/src/guide/updating.asciidoc +++ b/doc/src/guide/updating.asciidoc @@ -79,3 +79,7 @@ You can also name the file differently or put it in a separate folder by modifying the value for `ERLANG_MK_BUILD_CONFIG`. You can also tell Erlang.mk to use a different temporary directory by changing the `ERLANG_MK_BUILD_DIR` variable. + +If you want to use a different repository or a specific commit for +updating, you may use the variables `ERLANG_MK_REPO` and +`ERLANG_MK_COMMIT`. -- cgit v1.2.3