Rev 4688 | Blame | Compare with Previous | Last modification | View Log | RSS feed
#! /bin/bash# Use GBE_DPKG_STORE, then GBE_DPKGif [ -n $GBE_DPKG_STORE ] ; thenDPKG=$GBE_DPKG_STOREDPKGNAME=GBE_DPKG_STOREelif [ -z $DPKG ] ; thenDPKG=$GBE_DPKGDPKGNAME=GBE_DPKGelseecho "Error: No suitable package store found"exit 1fiif [ ! -d $DPKG ] ; thenecho "Error: EnvVar $DPKGNAME does not reference a directory"exit 1fi# Set GBE_COREGBE_CORE=$DPKG/core_devl/jats2_currentif [ ! -f $GBE_CORE/TOOLS/jats.sh ] ; thenecho "Error: JATS script not found"echo " $GBE_CORE/TOOLS/jats.sh"exit 1fiexport GBE_COREexec $GBE_CORE/TOOLS/jats.sh "$@"