diff --git a/pkgs/profile-pkgs/profile-doc/info.rkt b/pkgs/profile-pkgs/profile-doc/info.rkt
index e40cbac..4e8512f 100644
--- a/pkgs/profile-pkgs/profile-doc/info.rkt
+++ b/pkgs/profile-pkgs/profile-doc/info.rkt
@@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 
 (define collection 'multi)
 
diff --git a/pkgs/profile-pkgs/profile-doc/profile/scribblings/info.rkt b/pkgs/profile-pkgs/profile-doc/profile/scribblings/info.rkt
index 860b926..f06d481 100644
--- a/pkgs/profile-pkgs/profile-doc/profile/scribblings/info.rkt
+++ b/pkgs/profile-pkgs/profile-doc/profile/scribblings/info.rkt
@@ -1,3 +1,3 @@
-#lang setup/infotab
+#lang info
 
 (define scribblings '(("profile.scrbl" () (tool-library))))
diff --git a/pkgs/profile-pkgs/profile-lib/info.rkt b/pkgs/profile-pkgs/profile-lib/info.rkt
index 7cd9d52..6bc0fe7 100644
--- a/pkgs/profile-pkgs/profile-lib/info.rkt
+++ b/pkgs/profile-pkgs/profile-lib/info.rkt
@@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 
 (define collection 'multi)
 (define deps '("base"))
diff --git a/pkgs/profile-pkgs/profile/info.rkt b/pkgs/profile-pkgs/profile/info.rkt
index 2368c19..b92f442 100644
--- a/pkgs/profile-pkgs/profile/info.rkt
+++ b/pkgs/profile-pkgs/profile/info.rkt
@@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 
 (define collection 'multi)