diff options
| author | Thomas Penteker <tek@serverop.de> | 2017-08-20 22:17:53 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2017-08-20 22:17:53 +0200 |
| commit | 7afb9bb7992bc9d64443dd49133e3a524d55694c (patch) | |
| tree | c3f8bb689cbae3c41a31c7407388996609c6d27b /mplayer/Pkgfile | |
| parent | 58dbec1f92634be0d2904693498f1926d2df7e9d (diff) | |
| download | opt-7afb9bb7992bc9d64443dd49133e3a524d55694c.tar.gz opt-7afb9bb7992bc9d64443dd49133e3a524d55694c.tar.xz | |
mplayer: update mandir
Diffstat (limited to 'mplayer/Pkgfile')
| -rw-r--r-- | mplayer/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mplayer/Pkgfile b/mplayer/Pkgfile index 1efc9f3d7..7fad432c3 100644 --- a/mplayer/Pkgfile +++ b/mplayer/Pkgfile @@ -20,13 +20,13 @@ build() { rm -f ffmpeg/mp_auto_pull ./configure --prefix=/usr \ - --mandir=/usr/man \ + --mandir=/usr/share \ --codecsdir=/usr/share/codecs \ --confdir=/etc/mplayer make make DESTDIR=$PKG install - (cd $PKG/usr/man/man1; rm mencoder.1; ln -s mplayer.1.gz mencoder.1.gz) + (cd $PKG/usr/share/man1; rm mencoder.1; ln -s mplayer.1.gz mencoder.1.gz) # fonts mkdir -p $PKG/usr/share/mplayer |