#!/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 .