From c31c4240865ee486043b2ca3b5c818402fffbd8c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 11 Jan 2008 08:26:14 +0000 Subject: [PATCH] default to main-doc if docs are in main-collects svn: r8294 --- collects/setup/xref.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/setup/xref.ss b/collects/setup/xref.ss index e1255b3049..f1e4e593b2 100644 --- a/collects/setup/xref.ss +++ b/collects/setup/xref.ss @@ -2,7 +2,8 @@ (require scribble/xref setup/getinfo - setup/dirs) + setup/dirs + setup/main-collects) (provide load-collections-xref) @@ -17,7 +18,8 @@ (let-values ([(base name dir?) (split-path (car d))]) (path-replace-suffix name #"")))]) (build-path - (if (memq 'main-doc flags) + (if (or (memq 'main-doc flags) + (pair? (path->main-collects-relative dir))) (build-path (find-doc-dir) name) (build-path dir "compiled" "doc" name)) "out.sxref"))