diff options
| author | Karl Berry <karl@freefriends.org> | 2020-03-15 21:29:42 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-03-15 21:29:42 +0000 |
| commit | 6b7c4bea19787090f5c6879953753c57b829560d (patch) | |
| tree | 86fde615d92e70202057cc1f9377da11f36b78c3 /Master | |
| parent | 4c4ab2e8c01ccf127ef07493c36e0ab0aea25512 (diff) | |
lua2dox windows stray
git-svn-id: svn://tug.org/texlive/trunk@54325 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/bin/win32/lua2dox_filter.bat | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/Master/bin/win32/lua2dox_filter.bat b/Master/bin/win32/lua2dox_filter.bat deleted file mode 100755 index a75d2eb6746..00000000000 --- a/Master/bin/win32/lua2dox_filter.bat +++ /dev/null @@ -1,69 +0,0 @@ -@echo off
-
-:init
-
- rem Avoid clobbering anyone else's variables
-
- setlocal
-
- rem Safety precaution against awkward paths
-
- cd /d "%~dp0"
-
-:main
-
- call :set_lua
- if ERRORLEVEL 1 (
- goto :end
- )
-
- set BASENAME=%~n0
- set DIRNAME=%~dp0
-
- set LUASCRIPT=%DIRNAME%\lua2dox.lua %BASENAME%
-
- if not [%*] == [] (
- echo %*
- )
- %EXE% %LUASCRIPT% %*
-
- goto :end
-
-:set_lua
-
- call :exe-search texlua
-
- if not defined EXE (
- call :exe-search lua
- )
-
- if not defined EXE (
- echo No Lua interpreter available
- exit /b 1
- )
-
- goto :EOF
-
-:exe-search
-
- set PATHCOPY=%PATH%
-
-:exe-search-loop
-
- rem Search for a binary
-
- if defined EXE goto :EOF
-
- for /f "delims=; tokens=1,2*" %%I in ("%PATHCOPY%") do (
- if exist "%%I\%1.exe" (
- set EXE=%1
- )
- set PATHCOPY=%%J;%%K
- )
- if not "%PATHCOPY%" == ";" goto :exe-search-loop
-
- exit /b 1
-
- goto :EOF
-
-:end
\ No newline at end of file |