Provided by: makexvpics_1.0.1-3_amd64
NAME
ppmtoxvmini - convert a raw PPM file to .xvpics format
SYNOPSIS
ppmtoxvmini [options] files...
DESCRIPTION
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.
OPTIONS
A summary of options is included below. -genmap Generate the correct colormap for the input PPM files to stdout.
SEE ALSO
makexvpics(1)
AUTHOR
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)