diff --git a/collects/typed-scheme/info.ss b/collects/typed-scheme/info.ss
index 241c14e3..04910fa0 100644
--- a/collects/typed-scheme/info.ss
+++ b/collects/typed-scheme/info.ss
@@ -1,3 +1,3 @@
 #lang setup/infotab
 
-(define scribblings '(("typed-scheme.scrbl")))
+(define scribblings '(("typed-scheme.scrbl" (user-doc))))