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 7dad71a579
commit 8f7ca80e7d
9 changed files with 9 additions and 9 deletions

View File

@ -1,3 +1,3 @@
#lang setup/infotab
#lang info
(define purpose "This collect contains auxiliary scribble libraries, they have their own documentation linked from the top level.")

View File

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

View File

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

View File

@ -1,3 +1,3 @@
#lang setup/infotab
#lang info
(define scribblings '(("scribble.scrbl" (multi-page) (racket-core -24))))

View File

@ -1,3 +1,3 @@
#lang setup/infotab
#lang info
(define compile-omit-files '("tests"))

View File

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

View File

@ -1,4 +1,4 @@
#lang setup/infotab
#lang info
(define mzscheme-launcher-names '("scribble"))
(define mzscheme-launcher-libraries '("run.rkt"))

View File

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

View File

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