diff options
| author | wiz <wiz@pkgsrc.org> | 2001-02-17 17:52:59 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2001-02-17 17:52:59 +0000 |
| commit | a13ea108bb00bc0ece583da1c460ce82a8ed8c87 (patch) | |
| tree | e8e4b7b8b0ed7b1c572a7cbbee24ea7aae33416e /math/otter | |
| parent | a87738b456114a95193b58ec31e883210d6b9f3f (diff) | |
| download | pkgsrc-a13ea108bb00bc0ece583da1c460ce82a8ed8c87.tar.gz | |
Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.
Diffstat (limited to 'math/otter')
| -rw-r--r-- | math/otter/Makefile | 3 | ||||
| -rw-r--r-- | math/otter/pkg/COMMENT | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile index 309fa0d7d2b..d90323a2a8f 100644 --- a/math/otter/Makefile +++ b/math/otter/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.1.1.1 2000/11/25 18:19:19 jtb Exp $ +# $NetBSD: Makefile,v 1.2 2001/02/17 18:22:33 wiz Exp $ DISTNAME= otter-3.0.6 CATEGORIES= math @@ -6,6 +6,7 @@ MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/ MAINTAINER= jtb@netbsd.org HOMEPAGE= http://www.mcs.anl.gov/AR/otter/ +COMMENT= theorem-proving program WRKSRC= ${WRKDIR}/${PKGNAME}/source diff --git a/math/otter/pkg/COMMENT b/math/otter/pkg/COMMENT deleted file mode 100644 index b62c48542e6..00000000000 --- a/math/otter/pkg/COMMENT +++ /dev/null @@ -1 +0,0 @@ -Otter is a theorem-proving program |