diff options
| author | Jung-uk Kim <jkim@FreeBSD.org> | 2013-02-21 22:30:28 +0000 |
|---|---|---|
| committer | Jung-uk Kim <jkim@FreeBSD.org> | 2013-02-21 22:30:28 +0000 |
| commit | 757786d14cb8125bf22aefe255e4497ac3917711 (patch) | |
| tree | 2d1499f586dc959f4352aaf9f0d4195f96fcf554 /multimedia/gnome-mplayer | |
| parent | 8c233d571e986940f3487cbd235adbf150ec3ab0 (diff) | |
| download | ports-757786d14cb8125bf22aefe255e4497ac3917711.tar.gz ports-757786d14cb8125bf22aefe255e4497ac3917711.zip | |
Fix DOCS option.
Notes
Notes:
svn path=/head/; revision=312745
Diffstat (limited to 'multimedia/gnome-mplayer')
| -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 |