Hi! What does setenv MANPATH $ALLIANCE_TOP/man:$MANPATH do? Is Alliance case sensitive? I mean, will this: setenv MANPATH $ALLIANCE_TOP/man:$MANPATH do exactly the same thing if written this way: setenv manpath $alliance_top/man:$manpath ? Hoping for your immediate response. Thank you.