diff options
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index aefd74a9f0ab..78fd521463e7 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -9,7 +9,7 @@ MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/ DISTNAME= twelf-1-5R1 MAINTAINER= ports@FreeBSD.org -COMMENT= A meta-logical framework for deductive systems +COMMENT= Meta-logical framework for deductive systems .if defined(WITH_MLTON) RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton |