Bug#401903: Integrating texdoc.php into Debian's teTeX

[Frank Küster <frank@debian.org>]

Frank Küster <frank@debian.org> wrote:

> Dear Joao,
>
> I have a question regarding the integration of texdoc.php 

and one more, which might not be related to the changes we made:

Clicking on "User's guide" in "Fundamentals/General References" opens
the file usrguide.dvi.gz in xdvi (which by us has been patched to be
convert dvi.gz on-the-fly), whereas clicking on "LaTeX symbol table"
wants to open symbols.dvi.gz with the application that's associated with
gz files.  Any idea how this could come about?

Regards, Frank
-- 
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)