diff options
| -rw-r--r-- | devel/gide/Makefile | 10 | ||||
| -rw-r--r-- | devel/gide/distinfo | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/devel/gide/Makefile b/devel/gide/Makefile index 628123484e9c..f4c1886c47b9 100644 --- a/devel/gide/Makefile +++ b/devel/gide/Makefile @@ -1,13 +1,13 @@ # New ports collection makefile for: gIDE -# Version required: 0.1.1 +# Version required: 0.1.2 # Date created: 29 Jul 1998 # Whom: rom # -# $Id: Makefile,v 1.23 1999/06/06 16:41:10 steve Exp $ +# $Id: Makefile,v 1.24 1999/06/19 07:50:36 cpiazza Exp $ # -DISTNAME= gIDE-0.1.1 -PKGNAME= gide-0.1.1 +DISTNAME= gIDE-0.1.2 +PKGNAME= gide-0.1.2 CATEGORIES= devel gnome MASTER_SITES= http://gide.gdev.net/ \ http://gide.pn.org/ @@ -21,7 +21,7 @@ GTK_CONFIG?= ${X11BASE}/bin/gtk12-config FETCH_BEFORE_ARGS= -b -USE_X_PREFIX= yes +USE_X_PREFIX= yes USE_GMAKE= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --localstatedir=${PREFIX}/share/gnome \ diff --git a/devel/gide/distinfo b/devel/gide/distinfo index bde828bd34a7..2dd2c0b6c087 100644 --- a/devel/gide/distinfo +++ b/devel/gide/distinfo @@ -1 +1 @@ -MD5 (gIDE-0.1.1.tar.gz) = 71f00a7a48b04e347890aed7139a13f3 +MD5 (gIDE-0.1.2.tar.gz) = adc38514d2a925b7d053f29917d9028d |