From fd908798303f001d953e28246a39b6ad2f007c5c 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/gui-pkgs/gui-doc/info.rkt | 2 +- pkgs/gui-pkgs/gui-doc/mrlib/scribblings/info.rkt | 2 +- pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt | 2 +- pkgs/gui-pkgs/gui-doc/scribblings/gui/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/embedded-gui/private/tests/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/mred/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/info.rkt | 2 +- pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt | 2 +- pkgs/gui-pkgs/gui/info.rkt | 2 +- 11 files changed, 11 insertions(+), 11 deletions(-) diff --git a/pkgs/gui-pkgs/gui-doc/info.rkt b/pkgs/gui-pkgs/gui-doc/info.rkt index ae69d6bb..a31e84b8 100644 --- a/pkgs/gui-pkgs/gui-doc/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/info.rkt b/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/info.rkt index bebe9ddb..f26edf95 100644 --- a/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("mrlib.scrbl" (multi-page) (gui-library)))) diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt b/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt index 27c5d4ec..e87097ad 100644 --- a/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/scribblings/framework/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define scribblings '(("framework.scrbl" (multi-page) (gui-library 100)))) diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/gui/info.rkt b/pkgs/gui-pkgs/gui-doc/scribblings/gui/info.rkt index dcef0341..435966bb 100644 --- a/pkgs/gui-pkgs/gui-doc/scribblings/gui/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/scribblings/gui/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("gui.scrbl" (multi-page) (racket-core -22)))) diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt b/pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt index 0ffc035a..a4e70557 100644 --- a/pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("scribblings/embedded-gui.scrbl" (multi-page) (gui-library)))) diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/private/tests/info.rkt b/pkgs/gui-pkgs/gui-lib/embedded-gui/private/tests/info.rkt index a073420a..df22f424 100644 --- a/pkgs/gui-pkgs/gui-lib/embedded-gui/private/tests/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/embedded-gui/private/tests/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define compile-omit-paths 'all) diff --git a/pkgs/gui-pkgs/gui-lib/info.rkt b/pkgs/gui-pkgs/gui-lib/info.rkt index 5310854a..d2893681 100644 --- a/pkgs/gui-pkgs/gui-lib/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/gui-pkgs/gui-lib/mred/info.rkt b/pkgs/gui-pkgs/gui-lib/mred/info.rkt index 52e1e0c5..b483fa5a 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define version '(400)) (define post-install-collection "installer.rkt") diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/info.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/info.rkt index 865edce1..a383220e 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define compile-omit-paths '("tests")) diff --git a/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt b/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt index b86b2b0f..c2f4ab10 100644 --- a/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define post-install-collection "installer.rkt") diff --git a/pkgs/gui-pkgs/gui/info.rkt b/pkgs/gui-pkgs/gui/info.rkt index 7e418893..38ddb71d 100644 --- a/pkgs/gui-pkgs/gui/info.rkt +++ b/pkgs/gui-pkgs/gui/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)