diff options
| author | ehaupt <ehaupt@FreeBSD.org> | 2013-01-15 21:40:28 +0800 |
|---|---|---|
| committer | ehaupt <ehaupt@FreeBSD.org> | 2013-01-15 21:40:28 +0800 |
| commit | d17f4033ae11c1ef211b336b25eb38a014e0c74b (patch) | |
| tree | 98f96307b5a32cecd5d4e2104c22673c560b9789 /audio/malint | |
| parent | 7e85483bc4dd371692cb42e0670e76bc41c0a5ba (diff) | |
| download | freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.tar.gz freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.tar.zst freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.zip | |
- Use DOC instead of NOPORTDOCS
- Pacify portlint
- Convert header
Diffstat (limited to 'audio/malint')
| -rw-r--r-- | audio/malint/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/audio/malint/Makefile b/audio/malint/Makefile index 4bd99d599e83..0a76e53df05c 100644 --- a/audio/malint/Makefile +++ b/audio/malint/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: malint -# Date created: 20 Jun 2005 -# Whom: Emanuel Haupt <ehaupt@critical.ch> -# +# Created by: Emanuel Haupt <ehaupt@critical.ch> # $FreeBSD$ -# PORTNAME= malint DISTVERSION= 0.2 @@ -23,7 +19,11 @@ MAKE_JOBS_SAFE= yes PORTDOCS= README PLIST_FILES= bin/malint -.if !defined(NOPORTDOCS) +OPTIONS_DEFINE= DOCS + +.include <bsd.port.options.mk> + +.if ${PORT_OPTIONS:MDOCS} post-install: ${MKDIR} ${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/README ${DOCSDIR} |