diff --git a/collects/scribblings/places/info.ss b/collects/scribblings/places/info.ss
index 22fe7bf873..62a79f4cb6 100644
--- a/collects/scribblings/places/info.ss
+++ b/collects/scribblings/places/info.ss
@@ -1,3 +1,3 @@
 #lang setup/infotab
 
-(define scribblings '(("places.scrbl" ())))
+(define scribblings '(("places.scrbl" (user-doc))))