Provided by: makexvpics_1.0.1-3_amd64
ppmtoxvmini - convert a raw PPM file to .xvpics format
ppmtoxvmini [options] files...
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.
A summary of options is included below. -genmap Generate the correct colormap for the input PPM files to stdout.
This manual page was written by Chris Lawrence <email@example.com>, for the Debian GNU/Linux system (but may be used by others). November 19, 2001 PPMTOXVMINI(1)