Revert "move the handin-server docs out of the user's space and into the plt/doc"
This reverts commit e6d45e2ae6
.
[for now, so that the distribution build can work]
This commit is contained in:
parent
cd676fe81c
commit
3a5f267983
|
@ -1,3 +1,3 @@
|
|||
#lang setup/infotab
|
||||
|
||||
(define scribblings '(("handin-server.scrbl" (multi-page))))
|
||||
(define scribblings '(("handin-server.scrbl" (multi-page user-doc))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user