diff options
Diffstat (limited to 'gnome/gnome-doc-utils/Pkgfile')
| -rw-r--r-- | gnome/gnome-doc-utils/Pkgfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnome/gnome-doc-utils/Pkgfile b/gnome/gnome-doc-utils/Pkgfile new file mode 100644 index 000000000..65da1e3d7 --- /dev/null +++ b/gnome/gnome-doc-utils/Pkgfile @@ -0,0 +1,20 @@ +# Description: Utilitaires pour la documentation de gnome +# URL: http://www.gnome.org/ +# Maintainer: NuTyX core team +# Packager: thierryn1 at hispeed dot ch +# Depends on: intltool, libxslt, p5-xml-parser, rarian, docbook-xml + +name=gnome-doc-utils +version=0.20.0 +release=1 +source=(http://ftp.gnome.org/pub/gnome/sources/$name/${version%.*}/$name-$version.tar.bz2) + +build() { + cd $name-$version + ./configure --prefix=$GNOME_PREFIX \ + --mandir=$GNOME_PREFIX/share/man \ + --disable-scrollkeeper + make + make DESTDIR=$PKG install + rm -rf $PKG/$GNOME_PREFIX/share/gnome-doc-utils +} |