aboutsummaryrefslogtreecommitdiffstats
path: root/doc/src/guide/updating.asciidoc
diff options
context:
space:
mode:
authorKrzysztof Jurewicz <[email protected]>2018-07-01 13:08:09 +0200
committerLoïc Hoguin <[email protected]>2018-07-05 13:08:37 +0200
commitd13654730759161dfa532a2a9e509040117fb0fc (patch)
tree294ff3a5284b2110d35a282425e4c6a662e91846 /doc/src/guide/updating.asciidoc
parenta52826d6f65fb1d051d860ef17204c0a4342604a (diff)
downloaderlang.mk-d13654730759161dfa532a2a9e509040117fb0fc.tar.gz
erlang.mk-d13654730759161dfa532a2a9e509040117fb0fc.tar.bz2
erlang.mk-d13654730759161dfa532a2a9e509040117fb0fc.zip
Document ERLANG_MK_REPO and ERLANG_MK_COMMIT
Diffstat (limited to 'doc/src/guide/updating.asciidoc')
-rw-r--r--doc/src/guide/updating.asciidoc4
1 files changed, 4 insertions, 0 deletions
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`.