Hi Gerben,
> >> It seems that you will need to replace 'open' with xdvi in your texdoc
> >> script.
> >
> > thanks, that works!
> >
> > shouldn't this be changed in the distribution too?
>
> No. My distribution's default environment is without X11 (standard Mac
> OS X install does not have X11). Thus
sorry for asking imprecisely; I was wondering whether this change should
be done in the tetex-distribution; of course I wasn't requesting a change
in TeXShop, iTeXMac or the likes.
> > (or is there an easy way to associate with dvi-files the xdvi-viewer?)
>
> Not the xdvi-viewer, but you can use a forntend like TeXShop or iTeXMac
> and associate with that. A DVI->PDF translation will be performed
> automatically
but the current behavior of texdoc depends on some other frontend being
installed. personally, I think it would be desireable if tetex-texdoc
would run even on mac without having to install an entire graphical
frontend.
I understand, that I am certainly in the minority, having a mac without
tex-gui, but I think tetex should run even under these circumstances out
of the box without any further dependencies.
All your other changes:
: ${TEXDOCVIEW_dvi='open %s'}
: ${TEXDOCVIEW_pdf='open %s'}
: ${TEXDOCVIEW_ps='open %s'}
: ${TEXDOCVIEW_html='open %s'}
: ${TEXDOCVIEW_txt="open -a TextEdit.app %s"}
: ${TEXDOCVIEW_="open -a TextEdit.app %s"} # no extension, default to
pager
extlist='.pdf .ps .txt .dvi .html'
;;
are without doubt a great improvement, since OSX should be out-of-the-box
be able to handle with open html, pdf (and ps-files (kind of); always
converting them first to pdf and then opening it). Couldn't the logic of
these statements be slightly changed to make them more broadly useable, by
changing the behavior for ps and dvi so that:
1) it checks whether TEXDOCVIEW_dvi/ps is set the by the user and then
using that,
Otherwise:
2) checking whether xdvi/gv is in the defaultpath
(and perhaps whether X11 is running)
otherwise
3) using open
in this order, if an xdvi is installed, it should be used,
if not, lets hope some gui-frontend is present.
greetings!
sven
