diff --git a/collects/planet/info.rkt b/collects/planet/info.rkt
index 1866cf8ade..18212a717f 100644
--- a/collects/planet/info.rkt
+++ b/collects/planet/info.rkt
@@ -1,8 +1,6 @@
 #lang setup/infotab
 
 (define name "PLaneT")
-(define mzscheme-launcher-names '("planet"))
-(define mzscheme-launcher-libraries '("planet.rkt"))
 (define scribblings '(("planet.scrbl" (multi-page) (tool))))
 
 (define raco-commands '(("planet" planet/raco "manage Planet package installations" 80)))