PR 9679

svn: r11188
2008-08-11 20:33:11 +00:00 · 2008-08-11 20:33:11 +00:00 · dc82ffd05a
commit dc82ffd05a
parent 19ae0c3741
1 changed files with 1 additions and 0 deletions
--- a/collects/scribblings/tools/tools.scrbl
+++ b/collects/scribblings/tools/tools.scrbl
@ -1,6 +1,7 @@
 #lang scribble/doc
@(begin
 (require scribble/manual
+         (for-label drscheme/tool-lib)
         (for-label scheme/unit)
         (for-label scheme/base)
         (for-label framework/framework))