pnminterp-gen(1) on Linux

The text a050ab6ab07c, as Debian 3.0 (Woody) shipped it.

use pnminterp and pnmscale to scale by non-integer values

pnminterp-gen(1) on Linux now