diff options
| author | vs <vs@FreeBSD.org> | 2006-08-04 14:05:58 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2006-08-04 14:05:58 +0800 |
| commit | 7f81caca1ef1c5ef3e53847f8f953d6d4139c3fd (patch) | |
| tree | 690480937489910462faa08eef32d696128d66be /devel/as31 | |
| parent | a0bfec1820ec80c0f3b88ebd392aba955b3fa44d (diff) | |
| download | freebsd-ports-graphics-7f81caca1ef1c5ef3e53847f8f953d6d4139c3fd.tar.gz freebsd-ports-graphics-7f81caca1ef1c5ef3e53847f8f953d6d4139c3fd.tar.zst freebsd-ports-graphics-7f81caca1ef1c5ef3e53847f8f953d6d4139c3fd.zip | |
Install man-page
Submitted by: Gil Kloepfer
Diffstat (limited to 'devel/as31')
| -rw-r--r-- | devel/as31/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
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 |