bin/win32/a5bookle.bat bin/win32/doubside.bat bin/win32/dvidvi.exe new-list/bin-dvidvi.win32