- To convert dvi to gif files, use the following command:
dvigif [-r resolution (dpi)] [-c margin cropping (inches)] file1, file2, ...
The resolution is set to 125 dpi by default, but this behavior can be altered with the "-r" option.
This script cuts off a 1-inch margin around the whole page by default, but this behavior can be altered with the "-c" option.
- For example, to convert a file called "filename.dvi" to a gif file with resolution of 100 dpi and a 0.5 inch margin around the whole page:
myhost.1>dvigif -r 100 -c 0.5 filename.dvi
The resulting output is one gif file per page in the dvi document.
Related Material: