Bug#101540: Bugs 100126 100836 101203 101540: missing xdvi.bin

[Christoph Martin <martin@uni-mainz.de>]

Shaul Karl writes:
 > 
 > [16:58:42 tmp]$ /usr/sbin/update-alternatives --display xdvi.bin
 > xdvi.bin - status is manual.
 >  link currently points to /usr/bin/xdvi.real
 > /usr/bin/xdvi.real - priority 30
 > Current `best' version is /usr/bin/xdvi.real.
 > [16:58:55 tmp]$ ls -l /etc/alternatives/xdvi.bin /usr/bin/xdvi* 
 > /usr/X11R6/bin/xdvi*
 > ls: /usr/X11R6/bin/xdvi*: No such file or directory
 > lrwxrwxrwx    1 root     root           18 May 15 05:28 
 > /etc/alternatives/xdvi.bin -> /usr/bin/xdvi.real
 > -rwxr-xr-x    1 root     root         2258 Jun  3 20:45 /usr/bin/xdvi
 > -rwxr-xr-x    1 root     root       140316 Jun  3 20:45 /usr/bin/xdvi.real
 > [16:59:13 tmp]$ 
 > 
 > 
 > I made an upgrade from a previous version. I do not know which version I had 
 > before but in view of the fact that I follow testing closely and that 
 > changelog.Debian.gz shows that the previous version is 1.0.7+20001218-3 I 
 > believe that I have upgraded from that version.

Hmm. I still can't reproduce it.

But you can fix it for now by calling:

  update-alternatives --auto xdvi.bin

or

  apt-get install tetex-bin --reinstall

Christoph