Dave's patch to avoid out.xref warnings (a hack around the handin-server doc problem)

svn: r12649
This commit is contained in:
Matthew Flatt 2008-11-30 14:22:28 +00:00
parent 35599a8955
commit 1fa53fc4bf

View File

@ -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)