diff options
| -rwxr-xr-x | scripts/lua2dox_filter | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/scripts/lua2dox_filter b/scripts/lua2dox_filter index 8760f12176..22484a807f 100755 --- a/scripts/lua2dox_filter +++ b/scripts/lua2dox_filter @@ -36,22 +36,14 @@ test_executable(){ ##! \brief sets the lua interpreter set_lua(){ - if test -z "${EXE}" - then + if test -z "${EXE}"; then test_executable 'luajit' fi - if test -z "${EXE}" - then - test_executable 'texlua' - fi - - if test -z "${EXE}" - then + if test -z "${EXE}"; then test_executable 'lua' fi - #echo "final EXE=\"${EXE}\"" - } +} ##! \brief makes canonical name of file ##! |