From 1fa53fc4bf6690643092d87f855bf30b30e2e05f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 30 Nov 2008 14:22:28 +0000 Subject: [PATCH] Dave's patch to avoid out.xref warnings (a hack around the handin-server doc problem) svn: r12649 --- collects/setup/xref.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/setup/xref.ss b/collects/setup/xref.ss index be7e60819f..a9f60d3edf 100644 --- a/collects/setup/xref.ss +++ b/collects/setup/xref.ss @@ -23,8 +23,9 @@ (path-replace-suffix (file-name-from-path (car d)) #"")))]) (and (not (and (len . >= . 3) (memq 'omit (caddr d)))) - (let ([d (doc-path dir name flags 'false-if-missing)]) - (and d (build-path d "out.sxref"))))))) + (let* ([d (doc-path dir name flags 'false-if-missing)] + [p (and d (build-path d "out.sxref"))]) + (and p (file-exists? p) p)))))) (define (get-reader-thunks) (map (lambda (dest)