diff options
| author | pgollucci <pgollucci@FreeBSD.org> | 2010-09-10 05:51:23 +0800 |
|---|---|---|
| committer | pgollucci <pgollucci@FreeBSD.org> | 2010-09-10 05:51:23 +0800 |
| commit | cc896fb45aa5523058648a92c3997aec9b8d56c1 (patch) | |
| tree | e4ad42fa68616b1d1577293331c6e33556613cd1 /lang/gawk | |
| parent | 9647e96fd8a0512df398ae533db5ffd91b90ee60 (diff) | |
| download | freebsd-ports-gnome-cc896fb45aa5523058648a92c3997aec9b8d56c1.tar.gz freebsd-ports-gnome-cc896fb45aa5523058648a92c3997aec9b8d56c1.tar.zst freebsd-ports-gnome-cc896fb45aa5523058648a92c3997aec9b8d56c1.zip | |
- prevent makeinfo banner from appearing in info/dir
PR: ports/146826
Submitted by: Anonymous <swell.k@gmail.com>
Approved by: maintainer timeout (krion ; 110 days)
Diffstat (limited to 'lang/gawk')
| -rw-r--r-- | lang/gawk/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lang/gawk/Makefile b/lang/gawk/Makefile index 0688a6003c4b..a54a541d0576 100644 --- a/lang/gawk/Makefile +++ b/lang/gawk/Makefile @@ -6,7 +6,7 @@ PORTNAME= gawk PORTVERSION= 3.1.7 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= gawk @@ -33,4 +33,7 @@ CONFIGURE_ARGS+=--disable-nls PLIST_SUB+= NLS="@comment " .endif +post-extract: + @${RM} -f ${WRKSRC}/doc/*.info + .include <bsd.port.mk> |