diff --git a/pkgs/typed-racket-more/info.rkt b/pkgs/typed-racket-more/info.rkt index 465fc75e..8dbc7f6a 100644 --- a/pkgs/typed-racket-more/info.rkt +++ b/pkgs/typed-racket-more/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt index d21e6cec..fa03b386 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/info.rkt index dd80c314..98958daa 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language 4)) ("scribblings/ts-guide.scrbl" (multi-page) (language 5)))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt index 692d697c..468056f7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/info.rkt index e28be3a8..142dfc7c 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define release-notes '(("Typed Racket" "HISTORY.txt"))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt index 81d81ce9..a31414bd 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) (define deps '("typed-racket")) diff --git a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt index 0eceef20..c13b43fe 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define name "Typed Racket Test Suite") diff --git a/pkgs/typed-racket-pkgs/typed-racket/info.rkt b/pkgs/typed-racket-pkgs/typed-racket/info.rkt index 4d277e8f..6b922f74 100644 --- a/pkgs/typed-racket-pkgs/typed-racket/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)