rename plt-help GUI app

This commit is contained in:
Matthew Flatt 2010-05-05 11:07:25 -06:00
parent 0b9370bc5e
commit f3a20562cf
2 changed files with 7 additions and 5 deletions

View File

@ -1,8 +1,9 @@
#lang scheme/base
;; Builds different kinds of executables for different platforms.
;; proposed changes below -robby.
;; The `plt-help' executable is for backward compatibity.
;; The `Racket Documentation' executable is to help Windows and
;; Mac users who are completely lost and need something to click.
(provide post-installer)
(require launcher)
@ -23,11 +24,11 @@
make-mzscheme-launcher
mzscheme-program-launcher-path
'())))
(for ([variant (variants)])
(for ([variant (remove* '(script-3m script-cgc) (variants))])
(parameterize ([current-launcher-variant variant])
(mk-launcher '("-l-" "help/help")
(mk-path "plt-help") ;; change to "Racket Docs"
`([exe-name . "plt-help"] ;; get rid of this (in favor of 'raco docs')
(mk-path (if mr? "Racket Documentation" "plt-help"))
`([exe-name . ,(if mr? "Racket Documentation" "plt-help")]
[relative? . #t]
[framework-root . #f]
[dll-dir . #f]

View File

@ -10,6 +10,7 @@
@margin-note{
@not-on-the-web{
This is an installation-specific listing. Running @exec{raco docs}
(or @exec{Racket Documentation} under Windows or Mac OS X)
may open a different page with local and user-specific
documentation, including documentation for installed
@link["http://planet.plt-scheme.org/"]{@|PLaneT|} packages.}}