# $Id$

PortSystem 1.0

name		devhelp
version		0.19
revision        1
description	DevHelp is to be an API documentation browser for GNOME.
long_description	DevHelp's primary goal is to be an API documentation \
			browser for GNOME.
maintainers	nomaintainer
categories	gnome
platforms	darwin
homepage	http://www.imendio.com/projects/devhelp/
master_sites    gnome:sources/devhelp/0.19/
use_bzip2	yes
checksums	md5 66c9fb480e123c96eb1efdbad56b2d90
depends_lib	port:libgnomeui \
		port:firefox-x11 \
		port:libwnck \
		port:gconf \
		port:python25

configure.python ${prefix}/bin/python2.5

# Undo http://svn.gnome.org/viewvc/devhelp/trunk/src/dh-main.c?r1=880&r2=902
patchfiles      patch-src-dh-main-c.diff

post-activate {
        system "${prefix}/bin/gtk-update-icon-cache -f -t ${prefix}/share/icons/hicolor"
        system "${prefix}/bin/update-mime-database ${prefix}/share/mime; true"
}