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