# Setup bash's pushd with all the pgui directories

# This is ment to be sourced, from the pgwui directory which holds
# all the pgwui source.

for d in pgwui_* ; do
  cd $d/PGWUI_*
  pushd ../..
done

popd
