From a67635efb7b4e3fafd97f891bb27517470bc9397 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/compatibility-pkgs/compatibility-doc/info.rkt | 2 +- .../compatibility-doc/mzlib/scribblings/info.rkt | 2 +- pkgs/compatibility-pkgs/compatibility-lib/info.rkt | 2 +- pkgs/compatibility-pkgs/compatibility/info.rkt | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/compatibility-pkgs/compatibility-doc/info.rkt b/pkgs/compatibility-pkgs/compatibility-doc/info.rkt index 3866354..e35359a 100644 --- a/pkgs/compatibility-pkgs/compatibility-doc/info.rkt +++ b/pkgs/compatibility-pkgs/compatibility-doc/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) (define deps '("base" "scribble-lib" diff --git a/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/info.rkt b/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/info.rkt index 8391d74..da01189 100644 --- a/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/info.rkt +++ b/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("mzlib.scrbl" (multi-page) (legacy)))) diff --git a/pkgs/compatibility-pkgs/compatibility-lib/info.rkt b/pkgs/compatibility-pkgs/compatibility-lib/info.rkt index b422d4f..117849a 100644 --- a/pkgs/compatibility-pkgs/compatibility-lib/info.rkt +++ b/pkgs/compatibility-pkgs/compatibility-lib/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define collection 'multi) (define deps '("base" "net-lib")) diff --git a/pkgs/compatibility-pkgs/compatibility/info.rkt b/pkgs/compatibility-pkgs/compatibility/info.rkt index c00f04d..7fe134d 100644 --- a/pkgs/compatibility-pkgs/compatibility/info.rkt +++ b/pkgs/compatibility-pkgs/compatibility/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)