ports/opt
4
3
Fork 1
Code Issues 1 Pull Requests Activity

openbox: install man pages in the correct directory.

Browse Source
This commit is contained in:
Tilman Sauerbeck 2007-06-07 11:00:09 +02:00
parent 5df859428a
commit 9774406283
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
openbox/.footprint
View File

@ -40,6 +40,12 @@ lrwxrwxrwx root/root usr/lib/libobrender.so.12 -> libobrender.so.12.1.0
drwxr-xr-x root/root usr/lib/pkgconfig/
-rw-r--r-- root/root usr/lib/pkgconfig/obparser-3.0.pc
-rw-r--r-- root/root usr/lib/pkgconfig/obrender-3.0.pc
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man1/
-rw-r--r-- root/root usr/man/man1/openbox-gnome-session.1.gz
-rw-r--r-- root/root usr/man/man1/openbox-kde-session.1.gz
-rw-r--r-- root/root usr/man/man1/openbox-session.1.gz
-rw-r--r-- root/root usr/man/man1/openbox.1.gz
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/doc/
drwxr-xr-x root/root usr/share/doc/openbox/
@ -64,12 +70,6 @@ drwxr-xr-x root/root usr/share/doc/openbox/xbm/
drwxr-xr-x root/root usr/share/gnome/
drwxr-xr-x root/root usr/share/gnome/wm-properties/
-rw-r--r-- root/root usr/share/gnome/wm-properties/openbox.desktop
drwxr-xr-x root/root usr/share/man/
drwxr-xr-x root/root usr/share/man/man1/
-rw-r--r-- root/root usr/share/man/man1/openbox-gnome-session.1.gz
-rw-r--r-- root/root usr/share/man/man1/openbox-kde-session.1.gz
-rw-r--r-- root/root usr/share/man/man1/openbox-session.1.gz
-rw-r--r-- root/root usr/share/man/man1/openbox.1.gz
drwxr-xr-x root/root usr/share/pixmaps/
-rw-r--r-- root/root usr/share/pixmaps/openbox.png
drwxr-xr-x root/root usr/share/themes/

4
openbox/Pkgfile
View File

@ -5,13 +5,13 @@
name=openbox
version=3.4.0
release=1
release=2
source=(http://www.icculus.org/$name/releases/$name-$version.tar.gz)
build() {
cd $name-$version
./configure --prefix=/usr --disable-nls
./configure --prefix=/usr --mandir=/usr/man --disable-nls
make
make DESTDIR=$PKG install