diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-04 00:20:03 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-04 00:20:03 +0000 |
| commit | b26a28d61964b5c5877f0d97003ba7d9ec101b09 (patch) | |
| tree | 1eb421779643b7ad38e11a93c580f1d631d373dc /java/langspec | |
| parent | ded4aa1f80b354d83b58df339921d8bf8ef76689 (diff) | |
| download | ports-b26a28d61964b5c5877f0d97003ba7d9ec101b09.tar.gz ports-b26a28d61964b5c5877f0d97003ba7d9ec101b09.zip | |
Notes
Diffstat (limited to 'java/langspec')
| -rw-r--r-- | java/langspec/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/java/langspec/Makefile b/java/langspec/Makefile index 2c532e659c9c..368298c61390 100644 --- a/java/langspec/Makefile +++ b/java/langspec/Makefile @@ -14,9 +14,7 @@ NO_BUILD= yes NO_WRKSUBDIR= yes PORTDOCS= * -.if defined(NOPORTDOCS) -IGNORE= installs *only* documentation, unset NOPORTDOCS -.endif +OPTIONS_SET_FORCE= DOCS do-install: @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." |