diff options
Diffstat (limited to 'plugins/shell.mk')
| -rw-r--r-- | plugins/shell.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index 4e7e97e..6636b92 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -15,7 +15,7 @@ ALL_SHELL_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(SHELL_DEPS)) help:: @printf "%s\n" "" \ "Shell targets:" \ - " shell Run an erlang shell with SHELL_OPTS or reasonable default" + " shell Run an erlang shell with SHELL_OPTS or reasonable default" # Plugin-specific targets. |