From d0a2d617c85a6fd3a5ed6ad6a4191fc25c68a0f7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 12 Sep 2010 02:53:54 -0400 Subject: [PATCH] No need for "fake-" now, since racket resolves at the file level. --- collects/handin-server/overridden-collects/readme.txt | 8 -------- .../{fake-teachpack => teachpack}/htdp/guess.rkt | 0 .../{fake-teachpack => teachpack}/htdp/master.rkt | 0 3 files changed, 8 deletions(-) rename collects/handin-server/overridden-collects/{fake-teachpack => teachpack}/htdp/guess.rkt (100%) rename collects/handin-server/overridden-collects/{fake-teachpack => teachpack}/htdp/master.rkt (100%) diff --git a/collects/handin-server/overridden-collects/readme.txt b/collects/handin-server/overridden-collects/readme.txt index 45ffdded4d..33b2673ddc 100644 --- a/collects/handin-server/overridden-collects/readme.txt +++ b/collects/handin-server/overridden-collects/readme.txt @@ -4,11 +4,3 @@ that appear here will be used instead of ones in the Racket tree or the user-local collections. Use it to override collections that are safe for testing, for example -- avoid using real GUI. See also the documentation for `sandbox-override-collection-paths' in "doc.txt". - -This is currently used with the `teachpack' collection. Note that -Racket resolves collection directories based on toplevel names only, -which means that if we actually use `teachpack' for the directory -name, then files that are not here will not be searched in the usual -plt tree. Because of this the collection is called `fake-teachpack', -and checkers should specify requires in this collection if submissions -need a fake teachpack. diff --git a/collects/handin-server/overridden-collects/fake-teachpack/htdp/guess.rkt b/collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt similarity index 100% rename from collects/handin-server/overridden-collects/fake-teachpack/htdp/guess.rkt rename to collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt diff --git a/collects/handin-server/overridden-collects/fake-teachpack/htdp/master.rkt b/collects/handin-server/overridden-collects/teachpack/htdp/master.rkt similarity index 100% rename from collects/handin-server/overridden-collects/fake-teachpack/htdp/master.rkt rename to collects/handin-server/overridden-collects/teachpack/htdp/master.rkt