#! /bin/tcsh

if !($?PATH) then
    setenv PATH /opt/intel/idbe/10.1.015/bin
else
    setenv PATH /opt/intel/idbe/10.1.015/bin:$PATH
endif

if !($?MANPATH) then
    setenv MANPATH /opt/intel/idbe/10.1.015/man:`manpath`
else
    setenv MANPATH /opt/intel/idbe/10.1.015/man:$MANPATH
endif



