bin.includes = feature.xml,\
               build.properties

bin.includes = feature.xml,\
               build.properties
root=file:../tlatools/dist/tla2tools.jar
root.permissions.755=tla2tools.jar


Include tla2tools.jar in root of TLA Toolbox installation.
Include tla2tools.jar in root of TLA Toolbox installation.

The file has executable permissions and thus can directly be
called on systems supporting it (e.g. Linux).

[Feature][Toolbox]
