bin/win32/a5bookle.bat bin/win32/doubside.bat bin/win32/dvidvi.exe texmf/lists/bin-dvidvi.win32