bin/win32/texdoctk.exe texmf/lists/bin-texdoc.win32