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)