From 8ad431b77893225922ac40052b418cb72f54f2c9 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 25 Jun 2009 22:46:40 +0000 Subject: [PATCH] Push DrScheme tool down to a sub-dir svn: r15288 --- collects/frtime/info.ss | 4 +--- collects/frtime/{ => tool}/clock.png | Bin collects/frtime/{ => tool}/frtime-tool.ss | 0 collects/frtime/tool/info.ss | 6 ++++++ 4 files changed, 7 insertions(+), 3 deletions(-) rename collects/frtime/{ => tool}/clock.png (100%) rename collects/frtime/{ => tool}/frtime-tool.ss (100%) create mode 100644 collects/frtime/tool/info.ss diff --git a/collects/frtime/info.ss b/collects/frtime/info.ss index fc798921d5..362d122602 100644 --- a/collects/frtime/info.ss +++ b/collects/frtime/info.ss @@ -1,8 +1,6 @@ #lang setup/infotab +(define name "FrTime") (define compile-omit-paths '("demos" "tests")) (define scribblings '(("scribblings/frtime.scrbl" () (experimental)))) -(define tools '("frtime-tool.ss")) -(define tool-icons '(("clock.png" "frtime"))) -(define tool-names '("FrTime Languages")) diff --git a/collects/frtime/clock.png b/collects/frtime/tool/clock.png similarity index 100% rename from collects/frtime/clock.png rename to collects/frtime/tool/clock.png diff --git a/collects/frtime/frtime-tool.ss b/collects/frtime/tool/frtime-tool.ss similarity index 100% rename from collects/frtime/frtime-tool.ss rename to collects/frtime/tool/frtime-tool.ss diff --git a/collects/frtime/tool/info.ss b/collects/frtime/tool/info.ss new file mode 100644 index 0000000000..c13137f7fa --- /dev/null +++ b/collects/frtime/tool/info.ss @@ -0,0 +1,6 @@ +#lang setup/infotab +(define name "FrTime Tool") + +(define tools '("frtime-tool.ss")) +(define tool-icons '("clock.png")) +(define tool-names '("FrTime Language"))