diff --git a/collects/drscheme/info.ss b/collects/drscheme/info.ss index 9f6556b3cd..9786880b1f 100644 --- a/collects/drscheme/info.ss +++ b/collects/drscheme/info.ss @@ -1,6 +1,6 @@ #lang setup/infotab -(define tools (list "syncheck.ss" (list "time-keystrokes.ss" "private"))) -(define tool-names (list "Check Syntax" "Time Keystrokes")) -(define mred-launcher-names (list "DrScheme")) -(define mred-launcher-libraries (list "drscheme.ss")) +(define tools '("syncheck.ss")) +(define tool-names '("Check Syntax")) +(define mred-launcher-names '("DrScheme")) +(define mred-launcher-libraries '("drscheme.ss")) diff --git a/collects/drscheme/private/time-keystrokes.ss b/collects/tests/drscheme/time-keystrokes.ss similarity index 100% rename from collects/drscheme/private/time-keystrokes.ss rename to collects/tests/drscheme/time-keystrokes.ss diff --git a/collects/tests/info.ss b/collects/tests/info.ss index 63eca4a82c..d1272761b4 100644 --- a/collects/tests/info.ss +++ b/collects/tests/info.ss @@ -1,10 +1,10 @@ #lang setup/infotab (define name "Test Suites") -(define tools '(("tool.ss" "drscheme"))) -(define tool-names '("DrScheme Test Suites")) +(define tools '(("tool.ss" "drscheme") ("time-keystrokes.ss" "drscheme"))) +(define tool-names '("DrScheme Test Suites" "Time Keystrokes")) -(define compile-omit-paths +(define compile-omit-paths '("aligned-pasteboard" "honu" "match"