From 8f7ca80e7d344ace3bc335ca7db6d62abe39532f 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/racket-pkgs/racket-doc/scriblib/info.rkt | 2 +- pkgs/racket-pkgs/racket-doc/scriblib/scribblings/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-doc/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-lib/help/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-lib/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt | 2 +- pkgs/scribble-pkgs/scribble-text-lib/info.rkt | 2 +- pkgs/scribble-pkgs/scribble/info.rkt | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/pkgs/racket-pkgs/racket-doc/scriblib/info.rkt b/pkgs/racket-pkgs/racket-doc/scriblib/info.rkt index 69062dd5..ed05f03a 100644 --- a/pkgs/racket-pkgs/racket-doc/scriblib/info.rkt +++ b/pkgs/racket-pkgs/racket-doc/scriblib/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define purpose "This collect contains auxiliary scribble libraries, they have their own documentation linked from the top level.") diff --git a/pkgs/racket-pkgs/racket-doc/scriblib/scribblings/info.rkt b/pkgs/racket-pkgs/racket-doc/scriblib/scribblings/info.rkt index e7e57e04..a7f91026 100644 --- a/pkgs/racket-pkgs/racket-doc/scriblib/scribblings/info.rkt +++ b/pkgs/racket-pkgs/racket-doc/scriblib/scribblings/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("scriblib.scrbl" (multi-page)))) diff --git a/pkgs/scribble-pkgs/scribble-doc/info.rkt b/pkgs/scribble-pkgs/scribble-doc/info.rkt index 2df02578..4dc4025e 100644 --- a/pkgs/scribble-pkgs/scribble-doc/info.rkt +++ b/pkgs/scribble-pkgs/scribble-doc/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/info.rkt b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/info.rkt index 1af48270..bd066b7c 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/info.rkt +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("scribble.scrbl" (multi-page) (racket-core -24)))) diff --git a/pkgs/scribble-pkgs/scribble-lib/help/info.rkt b/pkgs/scribble-pkgs/scribble-lib/help/info.rkt index 99ae5482..8525dbf5 100644 --- a/pkgs/scribble-pkgs/scribble-lib/help/info.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/help/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define compile-omit-files '("tests")) diff --git a/pkgs/scribble-pkgs/scribble-lib/info.rkt b/pkgs/scribble-pkgs/scribble-lib/info.rkt index 607a287c..f68cce66 100644 --- a/pkgs/scribble-pkgs/scribble-lib/info.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt index 07e635da..0a1c8d58 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define mzscheme-launcher-names '("scribble")) (define mzscheme-launcher-libraries '("run.rkt")) diff --git a/pkgs/scribble-pkgs/scribble-text-lib/info.rkt b/pkgs/scribble-pkgs/scribble-text-lib/info.rkt index 19c502f2..8658fe5c 100644 --- a/pkgs/scribble-pkgs/scribble-text-lib/info.rkt +++ b/pkgs/scribble-pkgs/scribble-text-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) diff --git a/pkgs/scribble-pkgs/scribble/info.rkt b/pkgs/scribble-pkgs/scribble/info.rkt index 42abf921..5d339495 100644 --- a/pkgs/scribble-pkgs/scribble/info.rkt +++ b/pkgs/scribble-pkgs/scribble/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)