#!/bin/sh
#
# convert bmp files to pnm
# has ppm as output, but will work with pnm input filter
#
bmptoppm

exit 0
