From e6d45e2ae6804a73c9cea2a41d544c4a65b7a5d9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 3 Jan 2011 08:19:51 -0600 Subject: [PATCH] move the handin-server docs out of the user's space and into the plt/doc --- collects/handin-server/scribblings/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/info.rkt b/collects/handin-server/scribblings/info.rkt index ff753f4073..76fc1f65d1 100644 --- a/collects/handin-server/scribblings/info.rkt +++ b/collects/handin-server/scribblings/info.rkt @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("handin-server.scrbl" (multi-page user-doc)))) +(define scribblings '(("handin-server.scrbl" (multi-page))))