Frank Küster <[EMAIL PROTECTED]> 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)
