Re: unable to view dvi file



On Mon, 2006-04-24 at 10:51 +0200, François Patte wrote:
Pushparaj Shetty a écrit :
Hi,
I am not able to viw dvi files in my newly installed FC5. xdvi
<filename.dvi> gives command not found. I tries #yum install xdvi.

yum install tetex-xdvi

I don't know why this is not installed by default when one installs
tetex.... But it is like this from immemorial times!

It should at least be installed when you install tetex-doc since a lot
of the documentation is in dvi.

I can understand it not being installed with tetex - if your tetex box
is headless, xdvi would pull in X11 dependencies, dvips is all you need
to print a dvi.

But it should be a dependency of tetex-doc imho.

--
fedora-list mailing list
fedora-list@xxxxxxxxxx
To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list



Relevant Pages

  • Re: WMDC not syncing
    ... 'MUI' files) then reinstalled wmdc. ... ndv: Setting device parameters... ... dvi: Searching for hardware ID: ... ndv: {Core Device Install} ...
    (microsoft.public.pocketpc.activesync)
  • Re: hardware not finding inbox inf
    ... ndv: Setting device parameters... ... dvi: 13:18:26.497 ... ndv: {Core Device Install} ... inf: Opened PNF: ...
    (microsoft.public.development.device.drivers)
  • Re: Snip from: windowsinfsetupapi.dev.log file
    ... ndv: Setting device parameters... ... dvi: Searching for hardware ID: ... inf: Opened PNF: ... ndv: {Core Device Install} ...
    (microsoft.public.pocketpc.activesync)
  • RE: Install VHidMini.sys as 1st HID Driver Problems
    ... dvi: No class installer for 'Unknown driver software package' ... dvi: Set selected driver complete. ... <src = normal>) ... Install Disk' ...
    (microsoft.public.development.device.drivers)
  • Re: Media Centre - the monitor goes black.
    ... Cards with dual display outputs often have only the primary output turned ... on by default when you first install the driver. ... The DVI output could be the ... a Gateway 21' widescreen monitor, that I had hooked up to my ...
    (microsoft.public.windows.mediacenter)