From dd0267eae6bd654350ec9c3cc99daee860d4c0ab Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Thu, 2 Jun 2022 18:26:00 +0100 Subject: [PATCH] Update info.rkt --- turnstile-doc/turnstile/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)]))