#!/bin/csh setenv PATH ${PATH}:/opt/gnatstudio/bin setenv GNATSTUDIO_DOC_PATH /opt/gnatstudio/share/doc/gnatstudio/html