#!/bin/sh

dist_bin=`dirname $0`

MOZILLA_HOME=/usr/lib/mozilla-1.6

LD_LIBRARY_PATH=${LD_LIBRARY_PATH:+$LD_LIBRARY_PATH:}$MOZILLA_HOME
export LD_LIBRARY_PATH

MOZILLA_FIVE_HOME=$MOZILLA_HOME
export MOZILLA_FIVE_HOME

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

