diff --git a/collects/meta/planet2-index/info.rkt b/collects/meta/planet2-index/info.rkt
new file mode 100644
index 0000000000..4c6c1065ca
--- /dev/null
+++ b/collects/meta/planet2-index/info.rkt
@@ -0,0 +1,4 @@
+#lang setup/infotab
+
+(define name "Package server")
+(define compile-omit-paths 'all)