Moved servlet files from doc/help

original commit: 7bbe95a9a6a1743c0bb6faa27cf891c9885547d2
This commit is contained in:
Paul Steckler 2002-06-28 17:49:43 +00:00
parent 657785e8b6
commit 0107648eac
2 changed files with 4 additions and 4 deletions

View File

@ -6,7 +6,7 @@
(lib "server.ss" "help") (lib "server.ss" "help")
(lib "browser.ss" "help")) (lib "browser.ss" "help"))
(require (lib "exit.ss" "doc" "help" "servlets" "private")) (require (lib "exit.ss" "help" "servlets" "private"))
(define hd-cookie (start-help-server)) (define hd-cookie (start-help-server))
(define help-desk-port (hd-cookie->port hd-cookie)) (define help-desk-port (hd-cookie->port hd-cookie))

View File

@ -3,9 +3,9 @@
"docpos.ss" "docpos.ss"
"colldocs.ss" "colldocs.ss"
(lib "list.ss") (lib "list.ss")
(lib "util.ss" "doc" "help" "servlets" "private") (lib "util.ss" "help" "servlets" "private")
"../server.ss" (lib "server.ss" "help")
"../browser.ss") (lib "browser.ss" "help"))
(provide do-search (provide do-search
doc-collections-changed doc-collections-changed