diff --git a/collects/mred/info.ss b/collects/mred/info.ss index 40fb41f943..0725d8f23c 100644 --- a/collects/mred/info.ss +++ b/collects/mred/info.ss @@ -1,4 +1,4 @@ #lang setup/infotab (define version '(400)) -(define post-install-collection "script-installer.ss") +(define post-install-collection "installer.ss") diff --git a/collects/mred/script-installer.ss b/collects/mred/installer.ss similarity index 100% rename from collects/mred/script-installer.ss rename to collects/mred/installer.ss