#!/bin/sh

dist_bin=`dirname $0`

MOZILLA_HOME=/usr/lib64/mozilla-1.7.12

LD_LIBRARY_PATH=$MOZILLA_HOME:$LD_LIBRARY_PATH
export LD_LIBRARY_PATH

MOZILLA_FIVE_HOME=$MOZILLA_HOME
export MOZILLA_FIVE_HOME

exec "$dist_bin/devhelp-bin" "$@"

