src/Pure/Admin/build_e.scala

--- a/src/Pure/Admin/build_e.scala	Wed Nov 30 21:53:55 2022 +0100
+++ b/src/Pure/Admin/build_e.scala	Wed Nov 30 22:07:59 2022 +0100
@@ -77,13 +77,12 @@
 
       /* settings */
 
-      File.write(component_dir.settings,
-        """# -*- shell-script -*- :mode=shellscript:
-
+      component_dir.write_settings("""
 E_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
 E_VERSION=""" + quote(version) + """
 """)
 
+
       /* README */
 
       File.write(component_dir.README,