Merge pull request #419 from alandmoore/fixes_414

rename isolinux.cfg to syslinux.cfg in a case-insensitive way

Author: mbusb

scripts/update_cfg_file.py

@@ -341,7 +341,7 @@ def copy_to_syslinux_cfg_callback(dir_, fname):
         if not fname.lower().endswith('isolinux.cfg'):
             return
         isolinux_cfg_path = os.path.join(dir_, fname)
-        syslinux_cfg_fname = fname.replace('isolinux.cfg','syslinux.cfg')
+        syslinux_cfg_fname = fname.lower().replace('isolinux.cfg','syslinux.cfg')
         syslinux_cfg_path = os.path.join(dir_, syslinux_cfg_fname)
         if os.path.exists(syslinux_cfg_path):
             return # don't overwrite.