From 63e24e271450832941ee4aaff52571e8ceed7041 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 21 Jan 2008 02:16:10 +0000 Subject: [PATCH] use a MrEd-ish name for PLT Help in application form svn: r8377 --- collects/help/installer.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/help/installer.ss b/collects/help/installer.ss index 7ad000182e..999346ed5f 100644 --- a/collects/help/installer.ss +++ b/collects/help/installer.ss @@ -19,9 +19,9 @@ (lambda (variant) (parameterize ([current-launcher-variant variant]) (make-mred-launcher '("-l" "help/help") - (mred-program-launcher-path "plt-help") + (mred-program-launcher-path "PLT Help") (append - '((exe-name . "plt-help") + '((exe-name . "PLT Help") (relative? . #t)) (build-aux-from-path (build-path (collection-path "help") "help"))))))