[texdoc] texdoc vntex

Karl Berry karl at freefriends.org
Thu Mar 18 01:46:42 CET 2010


    > So I'm fine with removing . from TEXDOCS.  Shall I?

    As far as I am concerned, yes.

Done for tonight's update.


More information about the texdoc mailing list