Hi Denis, some weeks ago you submittesd this bug with the subject "tetex-doc: provide symlinks on DVI files to help beginners". Could you check if texdoctk fulfils your wish? It is a GUI to access all the documentation for tetex and easy to use for beginners. cu, Adrian -- A "No" uttered from deepest conviction is better and greater than a "Yes" merely uttered to please, or what is worse, to avoid trouble. -- Mahatma Ghandi