fix dependency of DrRacket tool module on docs

2012-05-13 07:13:18 -06:00 · 2012-05-13 07:13:18 -06:00 · f5e3182345
commit f5e3182345
parent 7519b851d3
1 changed files with 1 additions and 0 deletions
--- 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