# We use sed to replace old defaults with ours.
# Must escape \$ because of shell expansion.
#
-seddef="/^[ ]*\\\$org_logo[ ]*=/s/sm_logo\.jpg/sm_carnet_logo.jpg/;
- /^[ ]*\\\$org_logo[ ]*=/s/sm_logo\.png/sm_carnet_logo.jpg/;
+seddef="/^[ ]*\\\$org_logo[ ]*=/s/sm_logo\.jpg/sm_carnet_logo.png/;
+ /^[ ]*\\\$org_logo[ ]*=/s/sm_logo\.png/sm_carnet_logo.png/;
+ /^[ ]*\\\$org_logo[ ]*=/s/sm_carnet_logo\.jpg/sm_carnet_logo.png/;
/^[ ]*\\\$domain[ ]*=/s/mydomain\.com/$domainname/;
/^[ ]*\\\$default_charset[ ]*=/s/iso-8859-1/iso-8859-2/;
/^[ ]*\\\$org_logo_width[ ]*=/s/308/0/;