Add .ppm as a valid image file type.

diff --git a/src/lib/util.cc b/src/lib/util.cc
index 84138f4d94aa7194f2f1f9ce82edad04fa970174..6db381108692e88a0ee48ef3c25a8c4937808bdd 100644 (file)
--- a/src/lib/util.cc
+++ b/src/lib/util.cc
@@ -612,7 +612,7 @@ valid_image_file (boost::filesystem::path f)
                ext == ".tif" || ext == ".tiff" || ext == ".jpg" || ext == ".jpeg" ||
                ext == ".png" || ext == ".bmp" || ext == ".tga" || ext == ".dpx" ||
                ext == ".j2c" || ext == ".j2k" || ext == ".jp2" || ext == ".exr" ||
-               ext == ".jpf"
+               ext == ".jpf" || ext == ".ppm"
                );
 }