From 25cc7c71254ba4de6b7d5322f1d905b077628240 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 4 Jun 2014 08:29:31 +0100 Subject: [PATCH] raco setup: detect binary-only `setup/scribble` --- racket/collects/setup/setup-core.rkt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/racket/collects/setup/setup-core.rkt b/racket/collects/setup/setup-core.rkt index 295c813fa0..0b94aceaf0 100644 --- a/racket/collects/setup/setup-core.rkt +++ b/racket/collects/setup/setup-core.rkt @@ -11,6 +11,7 @@ racket/list racket/string compiler/cm + compiler/compilation-path planet/planet-archives planet/private/planet-shared (only-in planet/resolver resolve-planet-path) @@ -180,8 +181,10 @@ (define make-docs? (and (make-docs) - ;; Double-check that "setup/scribble" is present. - (file-exists? (collection-file-path "scribble.rkt" "setup")))) + ;; Double-check that `setup/scribble' is present: + (let ([p (collection-file-path "scribble.rkt" "setup")]) + (or (file-exists? p) + (file-exists? (get-compilation-bytecode-file p)))))) (define x-specific-collections (append* (specific-collections)