SYNOPSIS xvminitoppm [xvminipic] DESCRIPTION Reads a XV "thumbnail" picture (a miniature picture generated by the "VisualSchnauzer" browser) as input. Produces a portable pixmap as output. AUTHOR Copyright (C) 1993 by Ingo Wilken