diff --git a/collects/planet/util.ss b/collects/planet/util.ss index 675570fb2a..b4391d9e78 100644 --- a/collects/planet/util.ss +++ b/collects/planet/util.ss @@ -251,7 +251,7 @@ (lambda (p) (regexp-match re (path->bytes p))))) (define force-package-building? (make-parameter #f)) -(define build-scribble-docs? (make-parameter #t)) +(define build-scribble-docs? (make-parameter #f)) ;; ---