suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rename "docs" -> "doc"

Browse Source 
svn: r8271
This commit is contained in:
Eli Barzilay 2008-01-09 15:44:48 +00:00
parent 1fe5e608b4
commit 66701e96c9
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/web-server/docs/lang.scrbl
View File

@ -14,7 +14,7 @@ is different and what API is provided.
@section[#:tag "lang-servlets"]{Definition}
@require[(for-label "dummy-language-servlet.ss")] ; to give a binding context
@declare-exporting[web-server/docs/dummy-language-servlet]
@declare-exporting[web-server/doc/dummy-language-servlet]
A @defterm{Web language servlet} is a module written in the
@scheme[(lib "lang.ss" "web-server")] module language. It should provide

2
collects/web-server/docs/servlet.scrbl
View File

@ -14,7 +14,7 @@ of these servlets. This API is provided by @filepath{servlet.ss}.
@section[#:tag "module-servlets"]{Definition}
@require[(for-label "dummy-servlet.ss")] ; to give a binding context
@declare-exporting[web-server/docs/dummy-servlet]
@declare-exporting[web-server/doc/dummy-servlet]
A @defterm{servlet} is a module that provides the following:

8
collects/web-server/info.ss
View File

@ -1,8 +1,8 @@
(module info setup/infotab
(define name "Web Server")
(define scribblings '(("docs/web-server.scrbl" (multi-page main-doc))))
(define name "Web Server")
(define scribblings '(("doc/web-server.scrbl" (multi-page main-doc))))
(define mzscheme-launcher-libraries
(list "main.ss"))
(define mzscheme-launcher-names
(list "PLT Web Server")))
(list "PLT Web Server")))