From f5e31823451c963cbf6316e4b22e24aeb56aadc3 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 13 May 2012 07:13:18 -0600
Subject: [PATCH] fix dependency of DrRacket tool module on docs

---
 collects/drracket/tool-lib.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/drracket/tool-lib.rkt b/collects/drracket/tool-lib.rkt
index 0069cd6bc6..2733f309e5 100644
--- a/collects/drracket/tool-lib.rkt
+++ b/collects/drracket/tool-lib.rkt
@@ -26,6 +26,7 @@ all of the names in the tools library, for use defining keybindings
 
 (require (for-syntax racket/base))
 
+(generate-delayed-documents) ; avoids a distribution dependency on `scribblings/tools/doc-util'
 (require (for-doc drracket/private/ts
                   racket/base scribble/manual
                   scribblings/tools/doc-util