vplot2gif - converts vplot to gif
vplot2gif myplot.v [myplot.gif [xsize=5. ysize= (any vppen options)]]
Convert vplot format to .gif format at 75 dots/per inch, ideal for WWW documents. Default output is input file name with the .v ending changed to ".gif".
vplot2gif finds the smallest bounding box containing the input plot, and makes a gif output just big enough to contain that image, plus a border of .25 inches all around. (The position of the plot on the vplot virtual page is irrelevant!)
If you do not specify the size on the command line, then the absolute size of the original plot in the input vplot file will be used. Thus a small plot comes out small, and a big plot comes out big.
You can override the 75. dots per inch by setting the environment variable PPI.
You can override the .25 inch border by setting the environment variable GIFBORDER. (Note, GIFBORDER will only come out in physical units if PPI happens to be accurate for your display device.)
Currently, input vplot files are assumed to contain only one frame. Old-style rotated plots require "big=n". vplot2gif will refuse to rasterize a plot consisting of a single pixel (since its bounding box has zero area).
DISTR
converters