ppmfileを3つのpgmfileに分解する
ppmtorgb3 [ppmfile]
ppmfileを入力して、赤、緑、青それぞれの色をpgmfileにして出力する。
出力するpgmfileの名前はppmfileの名前から.ppmを取り去った名前に
.red .grn .bluをつけた3つのファイルとして出力される。
もし入力が標準入力の場合は出力ファイル名が以下のようになる。
Copyright (C) 1991 by Jef Poskanzer.