diff options
Diffstat (limited to 'doc/src/guide/updating.asciidoc')
-rw-r--r-- | doc/src/guide/updating.asciidoc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/src/guide/updating.asciidoc b/doc/src/guide/updating.asciidoc index 61d913d..3c72749 100644 --- a/doc/src/guide/updating.asciidoc +++ b/doc/src/guide/updating.asciidoc @@ -61,3 +61,10 @@ 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. + +Alternatively you can filter out a plugin in the build config by using the +`WITHOUT` variable the first time you generate the file. For example this +commande will filter the index plugin: + +[source,bash] +$ make -f erlang.mk WITHOUT=index |