From f0192efed25d9aba78b85881a12fba20e0ad0005 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Jul 2013 15:45:47 -0400 Subject: [PATCH] Use `#lang info` instead of `#lang setup/infotab`. original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea --- pkgs/drracket-pkgs/drracket/rackunit/info.rkt | 2 +- pkgs/racket-pkgs/racket-doc/rackunit/info.rkt | 2 +- pkgs/rackunit-lib/info.rkt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/rackunit/info.rkt b/pkgs/drracket-pkgs/drracket/rackunit/info.rkt index 3c090d6..50a1cf5 100644 --- a/pkgs/drracket-pkgs/drracket/rackunit/info.rkt +++ b/pkgs/drracket-pkgs/drracket/rackunit/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define tools '(("tool.rkt"))) (define tool-names '("RackUnit DrRacket integration")) diff --git a/pkgs/racket-pkgs/racket-doc/rackunit/info.rkt b/pkgs/racket-pkgs/racket-doc/rackunit/info.rkt index 6cd4d28..854b2f6 100644 --- a/pkgs/racket-pkgs/racket-doc/rackunit/info.rkt +++ b/pkgs/racket-pkgs/racket-doc/rackunit/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("scribblings/rackunit.scrbl" (multi-page) (tool)))) diff --git a/pkgs/rackunit-lib/info.rkt b/pkgs/rackunit-lib/info.rkt index e3f80ae..1f469cc 100644 --- a/pkgs/rackunit-lib/info.rkt +++ b/pkgs/rackunit-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)