Workaround until MMTs run-file script is fixed, see UniFormal/MMT#589

Author: bessw

build.sh

@@ -1,5 +1,5 @@
 #!/bin/sh
 set -euxo pipefail
 
-../MMT/deploy/run-file build.msl
-#java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl
+#../MMT/deploy/run-file build.msl
+java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl