From d790fbb6f7c1b136e24e4a445c42f3d4baedb065 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 17 May 2006 09:06:11 +0000
Subject: [PATCH] dont use plthome.ss

svn: r2957
---
 teachpack/htdp/Docs/mkdocs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/teachpack/htdp/Docs/mkdocs b/teachpack/htdp/Docs/mkdocs
index ea34527016..8bed8a0adf 100755
--- a/teachpack/htdp/Docs/mkdocs
+++ b/teachpack/htdp/Docs/mkdocs
@@ -7,7 +7,7 @@ else
 fi
 |#
 
-(require (lib "etc.ss") (lib "plthome.ss" "setup"))
+(require (lib "etc.ss"))
 (current-directory (this-expression-source-directory))
 
 ; for john?
@@ -35,7 +35,7 @@ fi
     #"Scheme Web Servlets"
     #"Show Queen"))
 
-(define dest-dir (build-path plthome "collects" "doc" "teachpack"))
+(define dest-dir (build-path (collection-path "doc") "teachpack"))
 (printf "writing docs to ~s\n" (path->string dest-dir))
 
 (require (lib "list.ss"))