.jpg -> .jpeg to respect proper image/jpeg file extension
authorshort <>
Fri, 17 Aug 2001 20:40:46 +0000 (20:40 +0000)
committershort <>
Fri, 17 Aug 2001 20:40:46 +0000 (20:40 +0000)
common.php
title-convert.sh

index f79b6b3..7578271 100644 (file)
@@ -118,8 +118,8 @@ function month_a($year,$month,$month_last=0)
 
        $r=array("year"=>$year,"month"=>$month,"month_last"=>$month_last,"month_full"=>$month_full,
                        "name"=>"$year/${month_full}",
-                       "img" =>"img/eap-$year-${month_full}.jpg",
-                       "icon"=>"img/eap-$year-${month_full}s.jpg",
+                       "img" =>"img/eap-$year-${month_full}.jpeg",
+                       "icon"=>"img/eap-$year-${month_full}s.jpeg",
                        );
        return($r);
 }
index 16624fb..d4072af 100755 (executable)
@@ -7,8 +7,8 @@ while [ $# -gt 0 ];do
        gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
        pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
        rm -f "$f"-gs.png
-       pngtopnm "$f".png |cjpeg -optimize >"$f".jpg
-       pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpg
+       pngtopnm "$f".png |cjpeg -optimize >"$f".jpeg
+       pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpeg
        rm -f "$f".png
 
        done