# Dieses Skript setzt die Umgebungsvariablen so, daß danach auf
# den sunhalle-Rechner mit LEDA gearbeitet werden kann. Es kann
# aus einer tcsh-Shell mit source LEDA-CONFIG aufgerufen werden.
#
# Mit dem Befehl xlman wird das LEDA-Manual aufgerufen.


setenv LEDAROOT         /usr/wiss/schickin/local/dist/LEDA
if ( $?LD_LIBRARY_PATH ) then
  setenv LD_LIBRARY_PATH ${LEDAROOT}:${LD_LIBRARY_PATH}
else
  setenv LD_LIBRARY_PATH ${LEDAROOT}
endif


alias xlman             ${LEDAROOT}/Manual/cmd/xlman

# ;-) wenn nach der letzten Zeile kein RETURN steht, wird sie nicht ausgeführt,
# deshalb nehmen wir einfach das als letzte Zeile ;-)