ppmtoxvmini - convert a raw PPM file to .xvpics format

       This  manual  page  was  written by Chris Lawrence <lawrencc@debian.org>, for the Debian GNU/Linux system
       (but may be used by others).

                                                November 19, 2001                                 PPMTOXVMINI(1)

       This  manual page documents briefly the ppmtoxvmini command.  This manual page was written for the Debian
       GNU/Linux distribution because the original program does not have a manual page.

       ppmtoxvmini is a program that converts raw PPM files to the special format used by  xv,  zgv,  and  other
       tools.  It should not be called directly; instead, use the makexvpics tool for your own sanity.

       ppmtoxvmini - convert a raw PPM file to .xvpics format

       A summary of options is included below.

       -genmap
              Generate the correct colormap for the input PPM files to stdout.

makexvpics(1)

ppmtoxvmini [options] files...