diff --git a/turnstile-doc/turnstile/info.rkt b/turnstile-doc/turnstile/info.rkt
index b44c35ad..dd3b5881 100644
--- a/turnstile-doc/turnstile/info.rkt
+++ b/turnstile-doc/turnstile/info.rkt
@@ -1,3 +1,3 @@
 #lang info
 (define scribblings
-  '(["scribblings/turnstile.scrbl" (multi-page)]))
+  '(["scribblings/turnstile.scrbl" (multi-page) (language)]))