diff --git a/collects/help/info.ss b/collects/help/info.ss index dfd9043aea..b0a1b2c688 100644 --- a/collects/help/info.ss +++ b/collects/help/info.ss @@ -13,4 +13,4 @@ |# )) (define mzscheme-launcher-libraries '("help.ss")) - (define mzscheme-launcher-names '("Help Desk"))) + (define mzscheme-launcher-names '("PLT Help")))