diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-11 15:05:14 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-11 15:05:14 +0100 |
| commit | b4c7ad9112974725655e39dc7d2a5591da3a7e8e (patch) | |
| tree | 9db93191d5cc4462abea40a691172cbf376d3820 /docs/en/erlang.mk/1/guide/external_plugins.asciidoc | |
| parent | d3abb447a118aecf23afddbec9b83a61ae8d1670 (diff) | |
| download | ninenines.eu-b4c7ad9112974725655e39dc7d2a5591da3a7e8e.tar.gz ninenines.eu-b4c7ad9112974725655e39dc7d2a5591da3a7e8e.tar.bz2 ninenines.eu-b4c7ad9112974725655e39dc7d2a5591da3a7e8e.zip | |
Remove bullet from the website
Diffstat (limited to 'docs/en/erlang.mk/1/guide/external_plugins.asciidoc')
| -rw-r--r-- | docs/en/erlang.mk/1/guide/external_plugins.asciidoc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/en/erlang.mk/1/guide/external_plugins.asciidoc b/docs/en/erlang.mk/1/guide/external_plugins.asciidoc index 68deb825..5f165f50 100644 --- a/docs/en/erlang.mk/1/guide/external_plugins.asciidoc +++ b/docs/en/erlang.mk/1/guide/external_plugins.asciidoc @@ -76,6 +76,15 @@ This allows users to not only be able to select individual plugins, but also select all plugins from the dependency in one go if they wish to do so. +Plugins can include some help text by extending the target +`help-plugins`: + +[source,make] +---- +help-plugins:: + $(verbose) printf "%s\n" "" "Run benchmark: $(MAKE) perfs" +---- + === Early-stage plugins Plugins declared in `DEP_PLUGINS` are loaded near the end of Erlang.mk. |