X11/app-defaults/XDvi is really needed ?
Today I tried to make xdvi to support color mode in default
by setting "colorSpecial: on" and I found that tetex-base (1.0-4)
contains two XDvi files, one is /usr/share/texmf/xdvi/XDvi
which is linked to /etc/X11/Xresources/tetex-base
and the other is /usr/X11R6/lib/X11/app-defaults/XDvi
The former one correctly reflects the setting done with
texconfig but the latter not.
Is /usr/X11R6/lib/X11/app-defaults/XDvi really used with
xdvi or this is unnecessary file ?
Thanks in advance, 1999.10.12
Debian JP Developer - much more I18N of Debian
Atsuhito Kohda <firstname.lastname@example.org>
Department of Math., Tokushima Univ.