Rev 6066 | Blame | Compare with Previous | Last modification | View Log | RSS feed
#! /bin/bash# Use GBE_DPKG_REPLICA, then GBE_DPKGif [ -n "$GBE_DPKG_REPLICA" ] ; thenDPKG=$GBE_DPKG_REPLICADPKGNAME=GBE_DPKG_REPLICAelif [ -n "$GBE_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 "$@"