From: Szabolcs Horvát <szhorvat@gm...> - 2008-02-20 09:55:22
How does the mthelp utility decide which documentation file to open
when there are multiple choices? For example, running "mthelp lshort"
opens lshort.dvi, even though there is also an lshort.pdf. I would
prefer that it open the .pdf version when available, or at least
present a webpage with the two choices.