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

	Name	Last modified	Size	Description
	Parent Directory		-
	texdocrc-win32.defaults	2019-03-25 18:26	1.7K
	texdocrc.defaults	2019-03-25 18:26	1.7K
	texdoctk.dat	2014-05-22 00:59	34K