git: 27cf624238e0 - main - devel/arduino18: unbreak the build when DOCS option is unset.

From: Alexey Dokuchaev <danfe_at_FreeBSD.org>
Date: Sat, 30 Apr 2022 15:34:40 UTC 
The branch main has been updated by danfe:

URL: https://cgit.FreeBSD.org/ports/commit/?id=27cf624238e0f04e8b921c09856559626b1f381c

commit 27cf624238e0f04e8b921c09856559626b1f381c
Author:     Alexey Dokuchaev <danfe@FreeBSD.org>
AuthorDate: 2022-04-30 15:33:46 +0000
Commit:     Alexey Dokuchaev <danfe@FreeBSD.org>
CommitDate: 2022-04-30 15:33:46 +0000

    devel/arduino18: unbreak the build when DOCS option is unset.
    
    Reported by:    Sergey V. Dyatko
---
 devel/arduino18/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel/arduino18/Makefile b/devel/arduino18/Makefile
index 1813b3e8dbde..a0c1ce3936a9 100644
--- a/devel/arduino18/Makefile
+++ b/devel/arduino18/Makefile
@@ -81,7 +81,7 @@ INSLIST+=	reference
 INSLIST+=	examples
 .endif
 
-post-extract:
+post-extract-DOCS-on:
 	${MKDIR} ${BUILD_DIR}/reference
 	${MV} ${WRKDIR}/code.jquery.com ${BUILD_DIR}/reference
 	${MV} ${WRKDIR}/www.arduino.cc ${BUILD_DIR}/reference