name bin-dvidvi runpattern f texmf/doc/man/man1/dvidvi.1 runpattern f texmf/doc/man/man1/dvidvi.1.html binpattern f bin/${ARCH}/dvidvi binpattern f bin/win32/a5bookle.bat binpattern f bin/win32/doubside.bat