diff --git a/collects/typed-scheme/info.rkt b/collects/typed-scheme/info.rkt index 095cc9fc..1d42db46 100644 --- a/collects/typed-scheme/info.rkt +++ b/collects/typed-scheme/info.rkt @@ -1,4 +1,4 @@ #lang setup/infotab -(define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language -1)) - ("scribblings/ts-guide.scrbl" (multi-page) (language)))) +(define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language 4)) + ("scribblings/ts-guide.scrbl" (multi-page) (language 5))))