diff options
| author | Krzysztof Jurewicz <[email protected]> | 2018-07-01 13:08:09 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-07-05 13:08:37 +0200 |
| commit | d13654730759161dfa532a2a9e509040117fb0fc (patch) | |
| tree | 294ff3a5284b2110d35a282425e4c6a662e91846 /doc | |
| parent | a52826d6f65fb1d051d860ef17204c0a4342604a (diff) | |
| download | erlang.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')
| -rw-r--r-- | doc/src/guide/updating.asciidoc | 4 |
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`. |