diff options
| -rw-r--r-- | multimedia/gnome-mplayer/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/multimedia/gnome-mplayer/Makefile b/multimedia/gnome-mplayer/Makefile index 109fb079e16e..ea032ab3dc0e 100644 --- a/multimedia/gnome-mplayer/Makefile +++ b/multimedia/gnome-mplayer/Makefile @@ -89,7 +89,7 @@ CONFIGURE_ARGS+= --enable-panscan=no .endif post-patch: -.if ${PORT_OPTIONS:MDOCS} +.if empty(PORT_OPTIONS:MDOCS) @${REINPLACE_CMD} -e \ 's/install-desktopDATA install-gnome_mplayerdocDATA/install-desktopDATA/' \ ${WRKSRC}/Makefile.in |