#lang setup/infotab

(define scribblings '(("handin-server.scrbl" (multi-page))))

#lang setup/infotab

(define scribblings '(("handin-server.scrbl" (multi-page user-doc))))

Revert "move the handin-server docs out of the user's space and into the plt/doc"
Revert "move the handin-server docs out of the user's space and into the plt/doc"

This reverts commit e6d45e2ae6804a73c9cea2a41d544c4a65b7a5d9.
[for now, so that the distribution build can work]
