echo off
rem %1 TeX input filename without extension
if exist "%~1.pdf" del "%~1.pdf"
if exist "%~1.tex" pdflatex "%~1.tex"
if exist "%~1-*.asy" asy -f pdf %~1-*.asy
if exist "%~1.tex" pdflatex "%~1.tex"
for %%x in (pdf tex asy pre js prc) do (if exist "%~1-*.%%x" del "%~1-*.%%x")
for %%x in (aux log pre out) do (if exist "%~1.%%x" del "%~1.%%x")