diff options
| author | ale <ale@FreeBSD.org> | 2008-06-08 17:04:28 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2008-06-08 17:04:28 +0800 |
| commit | 8d8fcef17f831a2ea7d8b330cb14614d7f355f54 (patch) | |
| tree | 6c54ad505dbb8261b495fdacbd3cd5828a075d0a /java | |
| parent | b660889e3cb25dd55e92baec1d10d94e289d2bdb (diff) | |
| download | freebsd-ports-gnome-8d8fcef17f831a2ea7d8b330cb14614d7f355f54.tar.gz freebsd-ports-gnome-8d8fcef17f831a2ea7d8b330cb14614d7f355f54.tar.zst freebsd-ports-gnome-8d8fcef17f831a2ea7d8b330cb14614d7f355f54.zip | |
Set IGNORE if NOPORTDOCS is set: this port installs only documentation.
Diffstat (limited to 'java')
| -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} |