minskim 526896b36c Replace teTeX's texdoc with TeX Live's.		2012-02-09 21:44:15 +00:00
..
DESCR	Explain the teTeX/TeX Live situation and advise that this is (today)	2010-02-18 15:23:24 +00:00
Makefile	Replace teTeX's texdoc with TeX Live's.	2012-02-09 21:44:15 +00:00