From d13654730759161dfa532a2a9e509040117fb0fc Mon Sep 17 00:00:00 2001
From: Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com>
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/updating.asciidoc')

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

