man ppmtoxvmini (Commandes) - convert a raw PPM file to .xvpics format

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

AUTHOR

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