[tldoc] Contents of doc/german/misc-ge/

Hartmut Henkel hartmut_henkel at gmx.de
Thu Nov 18 03:05:46 CET 2004


It seems that

Master/texmf-doc/doc/german/misc-ge/germdoc.dvi

is obsoleted by

Master/texmf-dist/doc/generic/german/gerdoc.dvi

And

Master/texmf-doc/doc/german/misc-ge/picinpar.dvi

is already here:

Master/texmf-dist/doc/latex/picinpar/picinpar.dvi

And

Master/texmf-doc/doc/german/misc-ge/script.dvi

describes some script.sty that isn't in TeX Live.

That's all in misc-ge. So maybe one could just do a

rm -r Master/texmf-doc/doc/german/misc-ge

Regards, Hartmut



More information about the tldoc mailing list