[tex-live] web2c-7.5.2 / texdoctk

Thomas Esser te at dbs.uni-hannover.de
Thu Feb 20 21:14:43 CET 2003


Hi,

I just have put Olaf's web2c-7.5.2 into source.development and updated
texdoctk (it no longer saves its options into ~/texdocrc.defaults).

Thomas


More information about the tex-live mailing list