From e7b17ca810495e004d45c5983ecc8b1d8aae6691 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sun, 29 Jan 2017 01:34:50 +0100 Subject: [PATCH] Put documentation inf the typed-racket section. --- typed-map-doc/typed-map/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-map-doc/typed-map/info.rkt b/typed-map-doc/typed-map/info.rkt index dc710f8..ece8b1a 100644 --- a/typed-map-doc/typed-map/info.rkt +++ b/typed-map-doc/typed-map/info.rkt @@ -1,2 +1,2 @@ #lang info -(define scribblings '(("scribblings/typed-map.scrbl" ()))) +(define scribblings '(("scribblings/typed-map.scrbl" () ("typed-racket"))))