From 70c723e3ae82231f01ce77776d85f9e086eee0c9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sat, 19 Dec 2015 17:57:34 -0600 Subject: [PATCH] Move docs to "Performance Tools category." --- profile-doc/profile/scribblings/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profile-doc/profile/scribblings/info.rkt b/profile-doc/profile/scribblings/info.rkt index f06d481..f3736f1 100644 --- a/profile-doc/profile/scribblings/info.rkt +++ b/profile-doc/profile/scribblings/info.rkt @@ -1,3 +1,3 @@ #lang info -(define scribblings '(("profile.scrbl" () (tool-library)))) +(define scribblings '(("profile.scrbl" () ("Performance Tools"))))