From ed6a90e2e9b645590dd7e6e43cd9ed313b094c13 Mon Sep 17 00:00:00 2001 From: mat Date: Mon, 10 Sep 2018 13:15:47 +0000 Subject: Add EXAMPLES options to ports that should have one. Also various fixes related to said option. PR: 230864 Submitted by: mat exp-runs by: antoine --- devel/erlang-gen_leader/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'devel/erlang-gen_leader') diff --git a/devel/erlang-gen_leader/Makefile b/devel/erlang-gen_leader/Makefile index 19d8be07a4ad..5505857cea0a 100644 --- a/devel/erlang-gen_leader/Makefile +++ b/devel/erlang-gen_leader/Makefile @@ -15,9 +15,9 @@ GH_ACCOUNT= garret-smith GH_PROJECT= gen_leader_revival GH_TAGNAME= a12a4e3 -OPTIONS_DEFINE= DOCS +OPTIONS_DEFINE= DOCS EXAMPLES -post-install: +post-install-EXAMPLES-on: @${MKDIR} ${STAGEDIR}${EXAMPLESDIR} ${INSTALL_DATA} ${WRKSRC}/examples/* ${STAGEDIR}${EXAMPLESDIR} -- cgit