Florent Rougon <f.rougon@free.fr> wrote: > I'm in the process of converting it to DebianDoc. BTW, little question: <tag>tetex-src</tag> <item> the sources (i.e., <file>.dtx</file> files) of all the TeX/LaTeX files in tetex-base and tetex-extra, and of the documentation in tetex-doc. and tetex-doc-nonfree? -- Florent