diff --git a/collects/games/doors/info.ss b/collects/games/doors/info.ss
deleted file mode 100644
index c14a2ca411..0000000000
--- a/collects/games/doors/info.ss
+++ /dev/null
@@ -1 +0,0 @@
-#lang setup/infotab
diff --git a/collects/games/gl-board-game/info.ss b/collects/games/gl-board-game/info.ss
deleted file mode 100644
index c14a2ca411..0000000000
--- a/collects/games/gl-board-game/info.ss
+++ /dev/null
@@ -1 +0,0 @@
-#lang setup/infotab
diff --git a/collects/hierlist/info.ss b/collects/hierlist/info.ss
deleted file mode 100644
index c14a2ca411..0000000000
--- a/collects/hierlist/info.ss
+++ /dev/null
@@ -1 +0,0 @@
-#lang setup/infotab
diff --git a/collects/honu-module/info.ss b/collects/honu-module/info.ss
deleted file mode 100644
index c14a2ca411..0000000000
--- a/collects/honu-module/info.ss
+++ /dev/null
@@ -1 +0,0 @@
-#lang setup/infotab
diff --git a/collects/s-exp/info.ss b/collects/s-exp/info.ss
deleted file mode 100644
index 13a63c4835..0000000000
--- a/collects/s-exp/info.ss
+++ /dev/null
@@ -1,2 +0,0 @@
-#lang setup/infotab
-