From 8850cdaea1b2fd7911f4872cb792de6e8400162a 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/macro-debugger-pkgs/macro-debugger-text-lib/info.rkt | 2 +- .../macro-debugger-text-lib/macro-debugger/info.rkt | 2 +- pkgs/macro-debugger-pkgs/macro-debugger/info.rkt | 2 +- pkgs/macro-debugger-pkgs/macro-debugger/macro-debugger/info.rkt | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/info.rkt b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/info.rkt index 5008820..44d5cad 100644 --- a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/info.rkt +++ b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) (define deps '("base" diff --git a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/info.rkt b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/info.rkt index a859c41..c163f29 100644 --- a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/info.rkt +++ b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define raco-commands '(("check-requires" diff --git a/pkgs/macro-debugger-pkgs/macro-debugger/info.rkt b/pkgs/macro-debugger-pkgs/macro-debugger/info.rkt index 88943e5..9194935 100644 --- a/pkgs/macro-debugger-pkgs/macro-debugger/info.rkt +++ b/pkgs/macro-debugger-pkgs/macro-debugger/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/macro-debugger-pkgs/macro-debugger/macro-debugger/info.rkt b/pkgs/macro-debugger-pkgs/macro-debugger/macro-debugger/info.rkt index 448c2ef..38df5c0 100644 --- a/pkgs/macro-debugger-pkgs/macro-debugger/macro-debugger/info.rkt +++ b/pkgs/macro-debugger-pkgs/macro-debugger/macro-debugger/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("macro-debugger.scrbl" () (tool-library))))