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