From b4c7ad9112974725655e39dc7d2a5591da3a7e8e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 11 Dec 2018 15:05:14 +0100 Subject: Remove bullet from the website --- docs/en/erlang.mk/1/guide/external_plugins.asciidoc | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'docs/en/erlang.mk/1/guide/external_plugins.asciidoc') 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. -- cgit v1.2.3