@echo off
rem Forward Search to SumatraPDF
if .%2.==.. goto USAGE
if .%1.==.. goto USAGE
:STRIPQUOTE
echo %1>_sttmp
sed -e "s/""//g" <_sttmp >_sttmpa
sed -e "s/^/set INFLNAME=/g" <_sttmpa >_sttmpa.bat
todos _sttmpa.bat >>_sttmp
call _sttmpa.bat
del _sttmp _sttmpa _sttmpa.bat
cd >_tmp
sed -e "s/\\$//g" <_tmp >_tmpa
sed -e "s/^/set MYTMP=/g" <_tmpa >_tmpa.bat
todos _tmpa.bat >>_tmp
call _tmpa.bat
:RUN
DDE_run -s SUMATRA -t control -n "C:\Program Files\SumatraPDF\SumatraPDF.exe" -c "[ForwardSearch(\"%MYTMP%\%INFLNAME%\",\"%2\",%3,0)]"
goto END
:USAGE
echo This batch requires just three arguments.
echo %0 pdf_file tex_file line_number
:END
if exist _tmpa.bat del _tmp _tmpa _tmpa.bat
set INFLNAME=
set MYTMP=