menumaker/Pkgfile



    1 # Description: Tool for generate menu for many window manager.
    2 # URL:         http://menumaker.sourceforge.net/
    3 # Maintainer:  Thomas Penteker, tek at serverop dot de
    4 # Packager:    Coviello Giuseppe giuseppecoviello at tin dot it
    5 # Depends on:  python
    6 
    7 name=menumaker
    8 version=0.99.11
    9 release=1
   10 source=(https://sourceforge.net/projects/menumaker/files/$name-$version.tar.gz)
   11 
   12 build() {
   13    cd $name-$version
   14    ./configure --prefix=/usr --infodir=/usr/share/info
   15    make
   16    install -d $PKG/usr $PKG/usr/bin
   17    make DESTDIR=$PKG install
   18    rm -r $PKG/usr/share/info
   19 }