diff options
Diffstat (limited to 'devel/kimwitu/Makefile')
| -rw-r--r-- | devel/kimwitu/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/kimwitu/Makefile b/devel/kimwitu/Makefile index 54c68eaf8c8d..cef821bf0171 100644 --- a/devel/kimwitu/Makefile +++ b/devel/kimwitu/Makefile @@ -13,6 +13,7 @@ MASTER_SITES= ftp://ftp.cs.utwente.nl/pub/src/kimwitu/ DISTNAME= kc-distr.V${PORTVERSION:S/./_/g} MAINTAINER= ijliao@FreeBSD.org +COMMENT= A tool for processing trees (i.e. terms) WRKSRC= ${WRKDIR}/${DISTNAME}/src ALL_TARGET= |