From ff5680007913b860d02e8591fa8dc17943bab7fd 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/net-lib/info.rkt | 2 +- pkgs/racket-pkgs/racket-doc/net/scribblings/info.rkt | 2 +- pkgs/unstable-parameter-group-lib/info.rkt | 4 ---- 3 files changed, 2 insertions(+), 6 deletions(-) delete mode 100644 pkgs/unstable-parameter-group-lib/info.rkt diff --git a/pkgs/net-lib/info.rkt b/pkgs/net-lib/info.rkt index e43df74125..39ca748024 100644 --- a/pkgs/net-lib/info.rkt +++ b/pkgs/net-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi) (define deps '("base")) diff --git a/pkgs/racket-pkgs/racket-doc/net/scribblings/info.rkt b/pkgs/racket-pkgs/racket-doc/net/scribblings/info.rkt index 531d5a1607..9d984775cd 100644 --- a/pkgs/racket-pkgs/racket-doc/net/scribblings/info.rkt +++ b/pkgs/racket-pkgs/racket-doc/net/scribblings/info.rkt @@ -1,3 +1,3 @@ -#lang setup/infotab +#lang info (define scribblings '(("net.scrbl" (multi-page) (net-library)))) diff --git a/pkgs/unstable-parameter-group-lib/info.rkt b/pkgs/unstable-parameter-group-lib/info.rkt deleted file mode 100644 index e43df74125..0000000000 --- a/pkgs/unstable-parameter-group-lib/info.rkt +++ /dev/null @@ -1,4 +0,0 @@ -#lang setup/infotab - -(define collection 'multi) -(define deps '("base"))