g.ppmtopng isn't meant for end users. It's a utility to convert between PPM/PGM and PNG image formats.
Last changed: $Date: 2013-01-15 08:46:35 -0800 (Tue, 15 Jan 2013) $