Julian Gilbey writes: > Package: tetex-bin > Version: 1.0.7+20000807-8 > > The xdvi binaries and corresponding manpages should be installed in > /usr/bin and /usr/share/man, not in the /usr/X11R6 tree. Why is that? I had to move it into /usr/X11R6 about two years ago, because policy said (as far as I remember) that X11 binaries should go into /usr/X11R6. Christoph