Hi Christian,

> the syntax is slightly different, using "sentenv"):
>
> [ -z "$DISPLAY" ] && export DISPLAY=":0.0"
> export TEXDOCVIEW_dvi='open-x11 xdvi %s'

thanks for the pointer (not being used to bash-syntax, I didn't notice
immediately thatin texdoc only defaults were set);
a variant works well for me.

sven

Reply via email to