Index of /pub/texlive/Contents/live/texmf-dist/texdoctk

	Name	Last modified	Size
	Parent Directory		-
	texdocrc.defaults	2019-03-25 11:26	1.7K
	texdocrc-win32.defaults	2019-03-25 11:26	1.7K
	texdoctk.dat	2014-05-21 16:59	34K