Loading tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ MAX_VERSION=$(node -p -e "require('$DIRECTORY/../package.json').version") MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" MAX_TEI_DEMO_VERION_NUMBER="v1.1" MAX_TEI_DEMO_VERION_NUMBER="v1.2" MAX_TEI_DEMO_VERSION="max-tei-demo-"$MAX_TEI_DEMO_VERION_NUMBER MAX_EAD_DEMO_VERION_NUMBER="v1.0" MAX_EAD_DEMO_VERSION="max-ead-demo-"$MAX_EAD_DEMO_VERION_NUMBER Loading Loading
tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ MAX_VERSION=$(node -p -e "require('$DIRECTORY/../package.json').version") MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" MAX_TEI_DEMO_VERION_NUMBER="v1.1" MAX_TEI_DEMO_VERION_NUMBER="v1.2" MAX_TEI_DEMO_VERSION="max-tei-demo-"$MAX_TEI_DEMO_VERION_NUMBER MAX_EAD_DEMO_VERION_NUMBER="v1.0" MAX_EAD_DEMO_VERSION="max-ead-demo-"$MAX_EAD_DEMO_VERION_NUMBER Loading
