move the handin-server docs out of the user's space and into the plt/doc
This commit is contained in:
parent
6c4f75365b
commit
e6d45e2ae6
|
@ -1,3 +1,3 @@
|
|||
#lang setup/infotab
|
||||
|
||||
(define scribblings '(("handin-server.scrbl" (multi-page user-doc))))
|
||||
(define scribblings '(("handin-server.scrbl" (multi-page))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user