diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 13:14:50 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 13:14:50 +0000 |
| commit | e1bfdfbe5665c963621e06f6bbfbbc2c000a804e (patch) | |
| tree | eaf052562fa1ad9b232918eb5e617ac1df0dd725 /editors/micro | |
| parent | f57bc4af665126de839ff734a08e57726e84da84 (diff) | |
| download | ports-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.tar.gz ports-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.zip | |
Add DOCS options to ports that should have one.
Also various fixes related to said option.
PR: 230864
Submitted by: mat
exp-runs by: antoine
Notes
Notes:
svn path=/head/; revision=479406
Diffstat (limited to 'editors/micro')
| -rw-r--r-- | editors/micro/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/micro/Makefile b/editors/micro/Makefile index 6c8a9a7fd183..e839fa38ead7 100644 --- a/editors/micro/Makefile +++ b/editors/micro/Makefile @@ -48,6 +48,8 @@ BUILD_DATE= August 9, 2018 PLIST_FILES= bin/micro PORTDOCS= README.md +OPTIONS_DEFINE= DOCS + do-build: @(cd ${WRKSRC} ; \ ${SETENV} ${MAKE_ENV} CGO_ENABLED=0 GOPATH=${WRKSRC} go build -ldflags \ |