Frank Küster <frank@debian.org> wrote: > On the other hand, it's not uncommon in Debian to change things by just > doing it differently, so we could as well use "TeX". What do others > think? Since we have several documents to register, I think a specific section makes sense. Otherwise, it's more likely that users fail to find all documents when looking for TeX stuff in dhelp or similar help systems. -- Florent