switched info.ss files to #lang
svn: r8532 original commit: 3c72e71e24202366d4be41532cba0a89f69d7ebd
This commit is contained in:
parent
d64c7213df
commit
68a7bbea2e
|
@ -1,4 +1,3 @@
|
|||
(module info setup/infotab
|
||||
(define name "Embedded GUI"))
|
||||
|
||||
#lang setup/infotab
|
||||
|
||||
(define name "Embedded GUI")
|
||||
|
|
|
@ -1,3 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "MrLib documentation")
|
||||
(define scribblings '(("mrlib.scrbl" (multi-page)))))
|
||||
#lang setup/infotab
|
||||
|
||||
(define name "MrLib documentation")
|
||||
(define scribblings '(("mrlib.scrbl" (multi-page))))
|
||||
|
|
|
@ -1,3 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: Framework")
|
||||
(define scribblings '(("framework.scrbl" (#;multi-page)))))
|
||||
#lang setup/infotab
|
||||
|
||||
(define name "Scribblings: Framework")
|
||||
(define scribblings '(("framework.scrbl" (#;multi-page))))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module info setup/infotab
|
||||
(define name "Scribblings: GUI")
|
||||
(define scribblings '(("gui.scrbl" (multi-page)))))
|
||||
#lang setup/infotab
|
||||
|
||||
(define name "Scribblings: GUI")
|
||||
(define scribblings '(("gui.scrbl" (multi-page)))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user