diff options
Diffstat (limited to 'devel/kimwitu++/Makefile')
| -rw-r--r-- | devel/kimwitu++/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/kimwitu++/Makefile b/devel/kimwitu++/Makefile index 3eae58220997..97644d7e06f5 100644 --- a/devel/kimwitu++/Makefile +++ b/devel/kimwitu++/Makefile @@ -13,6 +13,8 @@ MASTER_SITES= http://site.informatik.hu-berlin.de/kimwitu++/ MAINTAINER= ports@FreeBSD.org +PORTCOMMENT= A tool for processing trees (i.e. terms) + GNU_CONFIGURE= yes USE_GMAKE= yes |