Last line of the script reads:
xdvi.bin $NAMEOPT ${1+"$@"}

Should be:
exec xdvi.bin $NAMEOPT ${1+"$@"}

so that SIGNALS are sent to xdvi.bin and not xdvi script.
Whizzytex for example, needs to send SIGUSR1 to xdvi.bin
to ask it to reread the dvi file.

Thanks,
Greg

Reply via email to