diff --git a/collects/help/help.ss b/collects/help/help.ss index 3f9cd7c5..6dd54686 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -3,7 +3,8 @@ (lib "mred.ss" "mred") (lib "cmdline.ss") "private/server.ss" - "private/browser.ss") + "private/browser.ss" + "private/plt-browser.ss") (define launch-browser? #t) (define external-connections? #f)