--- Makefile.orig	Sun Jul  7 19:32:28 2002
+++ Makefile	Sun Jul  7 20:09:16 2002
@@ -6,10 +6,11 @@
 #
 
 PORTNAME=		gvd
-PORTVERSION=		1.2.0
+PORTVERSION=		1.2.5
 CATEGORIES=		devel
 MASTER_SITES=		http://libre.act-europe.fr/gvd/
-DISTFILES=		${PORTNAME}-${PORTVERSION}-src.tgz
+DISTNAME=		${PORTNAME}-${PORTVERSION}-src
+EXTRACT_SUFX=		.tgz
 
 MAINTAINER=		sam@inf.enst.fr
 
@@ -17,12 +18,17 @@
 			tex:${PORTSDIR}/print/teTeX
 LIB_DEPENDS=		gtkada.12:${PORTSDIR}/x11-toolkits/gtkada
 
-WRKSRC=			${WRKDIR}/${PORTNAME}-${PORTVERSION}-src
+WRKSRC=			${WRKDIR}/${PORTNAME}-${PORTVERSION}
 
 GNU_CONFIGURE=		yes
 CONFIGURE_ENV=		CC=adagcc
 MAKE_ENV=		CC=adagcc
 USE_X_PREFIX=		yes
 USE_GMAKE=		yes
+
+post-install:
+	${GMAKE} -C ${WRKSRC}/docs docdir=${PREFIX}/share/doc/gvd install
+	${MV} ${PREFIX}/share/doc/gvd/gvd.info ${PREFIX}/info/
+	install-info ${PREFIX}/info/gvd.info ${PREFIX}/info/dir
 
 .include <bsd.port.mk>
--- distinfo.orig	Sun Jul  7 19:32:34 2002
+++ distinfo	Sun Jul  7 19:59:02 2002
@@ -1 +1 @@
-MD5 (gvd-1.2.0-src.tgz) = b3662dfced22840bc3fbce5184a47482
+MD5 (gvd-1.2.5-src.tgz) = 8e899bad45ce2de8b45196c3d19d1e23
--- /dev/null	Sun Jul  7 20:12:15 2002
+++ files/patch-docs::gvd.info	Sun Jul  7 20:04:13 2002
@@ -0,0 +1,13 @@
+--- docs/gvd.info.orig	Sun Jul  7 20:03:26 2002
++++ docs/gvd.info	Sun Jul  7 20:03:58 2002
+@@ -1,5 +1,10 @@
+ This is gvd.info, produced by makeinfo version 4.0 from gvd.texi.
+ 
++INFO-DIR-SECTION Programming
++START-INFO-DIR-ENTRY
++* gvd: (gvd).			The GNU Debugger.
++END-INFO-DIR-ENTRY
++
+ 
+ File: gvd.info,  Node: Top,  Next: Introduction,  Prev: (dir),  Up: (dir)
+