[tex-live] Non-PDF documentation

[Philipp Stephani]

Am 01.02.2010 um 22:12 schrieb Zdenek Wagner:

> 2010/2/1 Frank Küster <frank at kuesterei.ch>:
>> Manuel Pégourié-Gonnard <mpg at elzevir.fr> wrote:
>> 
>>> Hi Philipp,
>>> 
>>> Philipp Stephani a écrit :
>>>> are there any plans to convert non-PDF manuals to PDF? I think PS and DVI
>>>> manuals are inconvenient for many because end users generally have no DVI or
>>>> PostScript viewer installed. For example, on Mac OS X, PDFs can be viewed
>>>> natively, whereas DVIs and PSs have to be converted on the fly and look much
>>>> worse.
>>> 
>>> I agree with you. Actually there are such plans. At least Robin an I have been
>>> converting dvi/ps documentation to pdf (or generating pdf documentation when no
>>> compiled doc was available at all) for some time.
>> 
>> What a pity.  Viewing DVI in xdvi is so much faster and in particular so
>> much more comfortable than PDF in xpdf(-derivatives) or acroread.
>> 
>> Is there really a majority of TeX users who prefer PDF?  Is the planned
>> new 1.5 format faster to load?  Are there any alternative PDF viewers
>> that can be handled conveniently with keystrokes, like xdvi?
>> 
> Maybe users should be able to set in tlmgr or elsewhere, whether they
> prefer DVI or PDF if both are available.

This is already possible with the existing texdoc (variable ext_list in texdoc.cnf). There is not need to add another option to the already overly complex tlmgr.