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

remove the now-redundant main-doc option

Browse Source 
svn: r8288

original commit: fff894d7100add97eddfe8f965e7c1f558abd87c
This commit is contained in:
Eli Barzilay 2008-01-11 02:29:49 +00:00
parent 1e06f9bcc5
commit 25d1877912
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/framework/info.ss
View File

@ -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)))))

2
collects/scribblings/gui/info.ss
View File

@ -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)))))