diff options
author | David Barri | 2019-03-17 19:31:51 +1100 |
---|---|---|
committer | David Barri | 2019-03-17 19:31:51 +1100 |
commit | f9d6a8d39646d547239fb4f508ff9170283602f0 (patch) | |
tree | d0fc8a48214ab62493438d0ad10538ba48076406 /tla2tex | |
parent | f1dbd634856c2391c2123ce1f35f9443ee9d9e8f (diff) | |
download | aur-f9d6a8d39646d547239fb4f508ff9170283602f0.tar.gz |
Add tlc-dist-*
Diffstat (limited to 'tla2tex')
-rwxr-xr-x | tla2tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ #!/bin/sh -exec java -classpath /usr/share/java/tla2tools.jar tla2tex.TLA "$@" +exec tla-tools tla2tex.TLA "$@" |