changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
--- a/src/Pure/Admin/build_easychair.scala Wed Nov 30 21:53:55 2022 +0100 +++ b/src/Pure/Admin/build_easychair.scala Wed Nov 30 22:07:59 2022 +0100 @@ -45,9 +45,7 @@ /* settings */ - File.write(component_dir.settings, - """# -*- shell-script -*- :mode=shellscript: - + component_dir.write_settings(""" ISABELLE_EASYCHAIR_HOME="$COMPONENT" """)