diff options
| author | Danny Rawlins <romster@shortcircuit.net.au> | 2007-12-29 18:14:24 +1100 |
|---|---|---|
| committer | Danny Rawlins <romster@shortcircuit.net.au> | 2007-12-29 18:18:03 +1100 |
| commit | 2f1593c871691fc9558ede476fcab49dddcc63d2 (patch) | |
| tree | 1992a1797b6734da18ec63d188ba9a8aacff1487 /fltk | |
| parent | 392e5c2b1e6cae2155733de421088620a94ea49e (diff) | |
| download | contrib-2f1593c871691fc9558ede476fcab49dddcc63d2.tar.gz contrib-2f1593c871691fc9558ede476fcab49dddcc63d2.tar.xz | |
fltk: Pkgfile cleanup for man pages (thanks Jue)
Diffstat (limited to 'fltk')
| -rw-r--r-- | fltk/Pkgfile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/fltk/Pkgfile b/fltk/Pkgfile index 61078c9d2..77c28e07f 100644 --- a/fltk/Pkgfile +++ b/fltk/Pkgfile @@ -14,6 +14,7 @@ build() { ./configure \ --prefix=/usr \ + --mandir=/usr/man \ --enable-threads \ --disable-static \ --enable-shared \ @@ -22,10 +23,6 @@ build() { make make DESTDIR=$PKG install - install -d $PKG/usr/man/{man1,man3} - install -m 0644 $PKG/usr/share/man/man1/* -t $PKG/usr/man/man1/ - install -m 0644 $PKG/usr/share/man/man3/* -t $PKG/usr/man/man3/ - - rm -r $PKG/usr/share + rm -r $PKG/usr/{share,man/cat?} } |