diff --git a/scripts/lua2dox_filter b/scripts/lua2dox_filter
index 8760f1217..22484a807 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
 ##!