#!/bin/sh

PREFIX=/opt/seamonkey

if [ -d $PREFIX ] ; then
   export PATH="$PATH:$PREFIX/bin"
   export MANPATH="$MANPATH:$PREFIX/man"
   export PKG_CONFIG_PATH="$PKG_CONFIG_PATH:$PREFIX/lib/pkgconfig"
fi

