aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/doc/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lib/stdlib/doc/src/Makefile')
-rw-r--r--lib/stdlib/doc/src/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/Makefile b/lib/stdlib/doc/src/Makefile
index af27efa6c1..508a4fa2de 100644
--- a/lib/stdlib/doc/src/Makefile
+++ b/lib/stdlib/doc/src/Makefile
@@ -163,7 +163,7 @@ clean clean_docs:
rm -f errs core *~
$(SPECDIR)/specs_erl_id_trans.xml:
- escript $(SPECS_EXTRACTOR) $(SPECS_FLAGS) \
+ $(gen_verbose)escript $(SPECS_EXTRACTOR) $(SPECS_FLAGS) \
-o$(dir $@) -module erl_id_trans
# ----------------------------------------------------