diff --git a/pkgs/compiler-lib/compiler/commands/info.rkt b/pkgs/compiler-lib/compiler/commands/info.rkt index 6faf16eb19..a3f02f0725 100644 --- a/pkgs/compiler-lib/compiler/commands/info.rkt +++ b/pkgs/compiler-lib/compiler/commands/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define raco-commands '(("make" compiler/commands/make "compile source to bytecode" 100) diff --git a/pkgs/compiler-lib/info.rkt b/pkgs/compiler-lib/info.rkt index 96ecf48be3..95c32105ee 100644 --- a/pkgs/compiler-lib/info.rkt +++ b/pkgs/compiler-lib/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection 'multi)