Ok.
E se volessi, invece di inserire il nome del file, prendere tutti i file con estensione tex?
Del tipo...
@echo off
pdflatex.exe *.tex