Bug#477160: /usr/bin/xdvizilla: should be installed in /usr/lib/.../
Dear TeX-Live team,
Sven Marnach <sven@pantoffel-wg.de> wrote:
> xdvizilla is a helper application that should not be called from the
> command line. Furthermore it may be dangerous because it deletes the
> dvi file given on the command line after showing it. So it should not
> be in $PATH, but rather in /usr/lib/.../
... and I am wondering whether xdvizilla is useful at all for anything
these days, given that Mozilla does no longer exist, and its successors
have much evolved.
Does anyone know
- whether it is still needed?
- or whether there are still people using it out of habit?
- or whether there's any other reason to not just drop it?
Regards, Frank
--
Frank Küster
Debian Developer (teTeX/TeXLive)
Reply to: