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
