diff options
Diffstat (limited to 'java/langspec/Makefile')
| -rw-r--r-- | java/langspec/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/java/langspec/Makefile b/java/langspec/Makefile index 10e95cf560aa..372095f5ca55 100644 --- a/java/langspec/Makefile +++ b/java/langspec/Makefile @@ -18,6 +18,10 @@ NO_BUILD= yes WRKSRC= ${WRKDIR} PORTDOCS= * +.if defined(NOPORTDOCS) +IGNORE= installs *only* documentation, unset NOPORTDOCS +.endif + do-install: @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." @${MKDIR} ${DOCSDIR} |