diff options
Diffstat (limited to 'x11/wmmenu')
| -rw-r--r-- | x11/wmmenu/Makefile | 5 | ||||
| -rw-r--r-- | x11/wmmenu/distinfo | 2 | ||||
| -rw-r--r-- | x11/wmmenu/pkg-plist | 10 |
3 files changed, 9 insertions, 8 deletions
diff --git a/x11/wmmenu/Makefile b/x11/wmmenu/Makefile index eca1f03..0277343 100644 --- a/x11/wmmenu/Makefile +++ b/x11/wmmenu/Makefile @@ -6,8 +6,7 @@ # PORTNAME= wmmenu -PORTVERSION= 0.4 -PORTREVISION= 1 +PORTVERSION= 0.8 CATEGORIES= x11 gnome MASTER_SITES= http://www.fcoutant.freesurf.fr/download/ @@ -27,11 +26,13 @@ post-patch: do-install: ${INSTALL_PROGRAM} ${WRKSRC}/wmmenu ${PREFIX}/bin +.ifndef(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/wmmenu ${INSTALL_DATA} ${WRKSRC}/README ${PREFIX}/share/doc/wmmenu ${MKDIR} ${PREFIX}/share/doc/wmmenu/example ${INSTALL_DATA} ${WRKSRC}/example/apps ${PREFIX}/share/doc/wmmenu/example ${INSTALL_DATA} ${WRKSRC}/example/defaults ${PREFIX}/share/doc/wmmenu/example +.endif post-install: @${SED} -e 's#%%PREFIX%%#${PREFIX}#g' ${PKGMESSAGE} diff --git a/x11/wmmenu/distinfo b/x11/wmmenu/distinfo index cc81eac..bb57008 100644 --- a/x11/wmmenu/distinfo +++ b/x11/wmmenu/distinfo @@ -1 +1 @@ -MD5 (wmmenu-0.4.tar.gz) = a29d1d71431ea5267f67fa5f67690992 +MD5 (wmmenu-0.8.tar.gz) = 059d023f394256cc326e1e3cb57a68ba diff --git a/x11/wmmenu/pkg-plist b/x11/wmmenu/pkg-plist index 22b4e5b..80944b8 100644 --- a/x11/wmmenu/pkg-plist +++ b/x11/wmmenu/pkg-plist @@ -1,6 +1,6 @@ bin/wmmenu -share/doc/wmmenu/example/apps -share/doc/wmmenu/example/defaults -share/doc/wmmenu/README -@dirrm share/doc/wmmenu/example -@dirrm share/doc/wmmenu +%%PORTDOCS%%share/doc/wmmenu/example/apps +%%PORTDOCS%%share/doc/wmmenu/example/defaults +%%PORTDOCS%%share/doc/wmmenu/README +%%PORTDOCS%%@dirrm share/doc/wmmenu/example +%%PORTDOCS%%@dirrm share/doc/wmmenu |
