From 7f81caca1ef1c5ef3e53847f8f953d6d4139c3fd Mon Sep 17 00:00:00 2001 From: vs Date: Fri, 4 Aug 2006 06:05:58 +0000 Subject: Install man-page Submitted by: Gil Kloepfer --- devel/as31/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'devel/as31') diff --git a/devel/as31/Makefile b/devel/as31/Makefile index f879dfc1a78..97b91c909c2 100644 --- a/devel/as31/Makefile +++ b/devel/as31/Makefile @@ -7,7 +7,7 @@ PORTNAME= as31 PORTVERSION= 2.0.b3 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MASTER_SITES= http://www.pjrc.com/tech/8051/tools/ DISTNAME= ${PORTNAME}_beta3 @@ -27,10 +27,12 @@ USE_BISON= YES WRKSRC= ${WRKDIR}/${PORTNAME} MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS}" +MAN1= as31.1 PLIST_FILES= bin/as31 %%X11%%bin/as31_gtk do-install: - @${INSTALL} ${WRKSRC}/as31 ${PREFIX}/bin + @${INSTALL_PROGRAM} ${WRKSRC}/as31 ${PREFIX}/bin + @${INSTALL_MAN} ${WRKSRC}/as31.1 ${MANPREFIX}/man/man1 .ifndef(WITHOUT_X11) @${INSTALL} ${WRKSRC}/as31_gtk ${PREFIX}/bin .endif -- cgit