diff options
| author | marino <marino@FreeBSD.org> | 2014-10-16 18:45:20 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2014-10-16 18:45:20 +0800 |
| commit | c6ddd60523d5c7bf032c35c7980146253403181e (patch) | |
| tree | f98a5dda7865114ad131e1bdd19845f8a509b4a2 /dns | |
| parent | 1a2ab78d5535158c93c4f4ebdb3872d2781fc80f (diff) | |
| download | freebsd-ports-gnome-c6ddd60523d5c7bf032c35c7980146253403181e.tar.gz freebsd-ports-gnome-c6ddd60523d5c7bf032c35c7980146253403181e.tar.zst freebsd-ports-gnome-c6ddd60523d5c7bf032c35c7980146253403181e.zip | |
dns/ironsides: Remove pkg-plist
Diffstat (limited to 'dns')
| -rw-r--r-- | dns/ironsides/Makefile | 4 | ||||
| -rw-r--r-- | dns/ironsides/pkg-plist | 4 |
2 files changed, 3 insertions, 5 deletions
diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile index 4f47139d207f..5fc3b3490087 100644 --- a/dns/ironsides/Makefile +++ b/dns/ironsides/Makefile @@ -9,7 +9,7 @@ MASTER_SITES= http://ironsides.martincarlisle.com/ DISTNAME= ironsides_authoritative-${SNAPSHOT} MAINTAINER= marino@FreeBSD.org -COMMENT= Authoritative DNS server formally verified by SPARK/Ada +COMMENT= Authoritative DNS server formally verified by SPARK/Ada LICENSE= Ironsides LICENSE_NAME= IRONSIDES - Free software, unlimited redistribution @@ -22,6 +22,8 @@ USES= ada dos2unix zip DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1 SNAPSHOT= 2014_02_20 WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//} +PLIST_FILES= sbin/ironsides man/man1/ironsides.1.gz +PORTEXAMPLES= dfcs.usafa.edu.zonefile post-extract: @${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/ diff --git a/dns/ironsides/pkg-plist b/dns/ironsides/pkg-plist deleted file mode 100644 index 7fdaed28e743..000000000000 --- a/dns/ironsides/pkg-plist +++ /dev/null @@ -1,4 +0,0 @@ -sbin/ironsides -man/man1/ironsides.1.gz -%%EXAMPLESDIR%%/dfcs.usafa.edu.zonefile -@dirrm %%EXAMPLESDIR%% |