Use #lang info instead of #lang setup/infotab.

original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea
This commit is contained in:
Sam Tobin-Hochstadt 2013-07-04 15:45:47 -04:00
parent 87c14eaa6c
commit a67635efb7
4 changed files with 4 additions and 4 deletions

View File

@ -1,4 +1,4 @@
#lang setup/infotab #lang info
(define collection 'multi) (define collection 'multi)
(define deps '("base" (define deps '("base"
"scribble-lib" "scribble-lib"

View File

@ -1,3 +1,3 @@
#lang setup/infotab #lang info
(define scribblings '(("mzlib.scrbl" (multi-page) (legacy)))) (define scribblings '(("mzlib.scrbl" (multi-page) (legacy))))

View File

@ -1,3 +1,3 @@
#lang setup/infotab #lang info
(define collection 'multi) (define collection 'multi)
(define deps '("base" "net-lib")) (define deps '("base" "net-lib"))

View File

@ -1,4 +1,4 @@
#lang setup/infotab #lang info
(define collection 'multi) (define collection 'multi)