remove the now-redundant main-doc option
svn: r8288
This commit is contained in:
parent
1e069dd2bc
commit
fff894d710
|
@ -1,3 +1,3 @@
|
|||
(module info setup/infotab
|
||||
(define name "File documentation")
|
||||
(define scribblings '(("file.scrbl" (multi-page main-doc)))))
|
||||
(define scribblings '(("file.scrbl" (multi-page)))))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
(module info setup/infotab
|
||||
(define name "Net documentation")
|
||||
(define scribblings '(("net.scrbl" (multi-page main-doc)))))
|
||||
(define scribblings '(("net.scrbl" (multi-page)))))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: DrScheme")
|
||||
(define scribblings '(("drscheme.scrbl" (#;multi-page main-doc))))
|
||||
(define scribblings '(("drscheme.scrbl" (#;multi-page))))
|
||||
(define doc-categories '((tool 1))))
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: FFI")
|
||||
(define scribblings '(("foreign.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("foreign.scrbl" (multi-page))))
|
||||
(define doc-categories '(foreign))
|
||||
(define doc-priorities '(1)))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Framework")
|
||||
(define scribblings '(("framework.scrbl" (#;multi-page main-doc)))))
|
||||
(define scribblings '(("framework.scrbl" (#;multi-page)))))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: GUI")
|
||||
(define scribblings '(("gui.scrbl" (multi-page main-doc)))))
|
||||
(define scribblings '(("gui.scrbl" (multi-page)))))
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Guide")
|
||||
(define scribblings '(("guide.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("guide.scrbl" (multi-page))))
|
||||
(define doc-categories '(getting-started)))
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Honu")
|
||||
(define scribblings '(("honu.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("honu.scrbl" (multi-page))))
|
||||
(define doc-categories '(other)))
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: HtDP Languages")
|
||||
(define scribblings '(("htdp-langs.scrbl" (multi-page main-doc))))
|
||||
(define doc-categories '((language -1))))
|
||||
(define scribblings '(("htdp-langs.scrbl" (multi-page))))
|
||||
(define doc-categories '((language -1))))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Inside PLT Scheme")
|
||||
(define scribblings '(("inside.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("inside.scrbl" (multi-page))))
|
||||
(define doc-categories '(foreign)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Quick")
|
||||
(define scribblings '(("quick.scrbl" (main-doc))))
|
||||
(define scribblings '(("quick.scrbl" ())))
|
||||
(define doc-categories '((getting-started 1))))
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Reference")
|
||||
(define scribblings '(("reference.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("reference.scrbl" (multi-page))))
|
||||
(define doc-categories '(language)))
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Scribble")
|
||||
(define scribblings '(("scribble.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("scribble.scrbl" (multi-page))))
|
||||
(define doc-categories '(tool)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Slideshow")
|
||||
(define scribblings '(("slideshow.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("slideshow.scrbl" (multi-page))))
|
||||
(define doc-categories '(tool)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Start")
|
||||
(define scribblings '(("start.scrbl" (main-doc always-run))))
|
||||
(define scribblings '(("start.scrbl" (always-run))))
|
||||
(define doc-categories '(omit)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Tools")
|
||||
(define scribblings '(("tools.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("tools.scrbl" (multi-page))))
|
||||
(define doc-categories '(other)))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
(module info setup/infotab
|
||||
(define name "Calltrace documentation")
|
||||
(define scribblings '(("trace.scrbl" (main-doc)))))
|
||||
(define scribblings '(("trace.scrbl" ()))))
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
(module info setup/infotab
|
||||
(define name "Web Server")
|
||||
(define scribblings '(("scribblings/web-server.scrbl" (multi-page main-doc))))
|
||||
(define scribblings '(("scribblings/web-server.scrbl" (multi-page))))
|
||||
(define doc-categories '(tool))
|
||||
|
||||
(define mzscheme-launcher-libraries
|
||||
|
|
Loading…
Reference in New Issue
Block a user