diff options
Diffstat (limited to 'plugins/edoc.mk')
-rw-r--r-- | plugins/edoc.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/plugins/edoc.mk b/plugins/edoc.mk index 5249d08..3f94c43 100644 --- a/plugins/edoc.mk +++ b/plugins/edoc.mk @@ -10,8 +10,7 @@ EDOC_OPTS ?= # Core targets. docs:: distclean-edoc - $(gen_verbose) erl -noshell \ - -eval 'edoc:application($(PROJECT), ".", [$(EDOC_OPTS)]), init:stop().' + $(gen_verbose) $(ERL) -eval 'edoc:application($(PROJECT), ".", [$(EDOC_OPTS)]), halt().' distclean:: distclean-edoc |